A formal design notation for real-time systems
The development of real-time systems is based on a variety of different methods and notations. Despite the purported benefits of formal methods, informal techniques still play a predominant role in current industrial practice. Formal and informal methods have been combined in various ways to smoothl...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_1049331X_v11_n2_p149_Felder |
| Aporte de: |
| id |
todo:paper_1049331X_v11_n2_p149_Felder |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_1049331X_v11_n2_p149_Felder2023-10-03T15:58:37Z A formal design notation for real-time systems Felder, M. Pezzè, M. Design of real time systems Formal analysis of design specification Formal design specification Structured design Design of real time systems Formal analysis of design specification Formal design specification Structured design Embedded systems Petri nets Real time systems Structural design Structured programming Software engineering The development of real-time systems is based on a variety of different methods and notations. Despite the purported benefits of formal methods, informal techniques still play a predominant role in current industrial practice. Formal and informal methods have been combined in various ways to smoothly introduce formal methods in industrial practice. The combination of real-time structured analysis (SA-RT) with Petri nets is among the most popular approaches, but has been applied only to requirements specifications. This paper extends SA-RT to specifications of the detailed design of embedded real-time systems, and combines the proposed notation with Petri nets. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_1049331X_v11_n2_p149_Felder |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| topic |
Design of real time systems Formal analysis of design specification Formal design specification Structured design Design of real time systems Formal analysis of design specification Formal design specification Structured design Embedded systems Petri nets Real time systems Structural design Structured programming Software engineering |
| spellingShingle |
Design of real time systems Formal analysis of design specification Formal design specification Structured design Design of real time systems Formal analysis of design specification Formal design specification Structured design Embedded systems Petri nets Real time systems Structural design Structured programming Software engineering Felder, M. Pezzè, M. A formal design notation for real-time systems |
| topic_facet |
Design of real time systems Formal analysis of design specification Formal design specification Structured design Design of real time systems Formal analysis of design specification Formal design specification Structured design Embedded systems Petri nets Real time systems Structural design Structured programming Software engineering |
| description |
The development of real-time systems is based on a variety of different methods and notations. Despite the purported benefits of formal methods, informal techniques still play a predominant role in current industrial practice. Formal and informal methods have been combined in various ways to smoothly introduce formal methods in industrial practice. The combination of real-time structured analysis (SA-RT) with Petri nets is among the most popular approaches, but has been applied only to requirements specifications. This paper extends SA-RT to specifications of the detailed design of embedded real-time systems, and combines the proposed notation with Petri nets. |
| format |
JOUR |
| author |
Felder, M. Pezzè, M. |
| author_facet |
Felder, M. Pezzè, M. |
| author_sort |
Felder, M. |
| title |
A formal design notation for real-time systems |
| title_short |
A formal design notation for real-time systems |
| title_full |
A formal design notation for real-time systems |
| title_fullStr |
A formal design notation for real-time systems |
| title_full_unstemmed |
A formal design notation for real-time systems |
| title_sort |
formal design notation for real-time systems |
| url |
http://hdl.handle.net/20.500.12110/paper_1049331X_v11_n2_p149_Felder |
| work_keys_str_mv |
AT felderm aformaldesignnotationforrealtimesystems AT pezzem aformaldesignnotationforrealtimesystems AT felderm formaldesignnotationforrealtimesystems AT pezzem formaldesignnotationforrealtimesystems |
| _version_ |
1807316289212907520 |