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.
Citazione: | Felder, M., & Pezzè, M. (2002). A formal design notation for real-time systems. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 11(2), 149-190. |
Tipo: | Articolo in rivista - Articolo scientifico |
Carattere della pubblicazione: | Scientifica |
Titolo: | A formal design notation for real-time systems |
Autori: | Felder, M; Pezzè, M |
Autori: | |
Data di pubblicazione: | 2002 |
Lingua: | English |
Rivista: | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
Digital Object Identifier (DOI): | 10.1145/505145.505146 |
Appare nelle tipologie: | 01 - Articolo su rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.