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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2002
Materias:
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
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v11_n2_p149_Felder
http://hdl.handle.net/20.500.12110/paper_1049331X_v11_n2_p149_Felder
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_1049331X_v11_n2_p149_Felder
record_format dspace
spelling paper:paper_1049331X_v11_n2_p149_Felder2023-06-08T16:01:20Z A formal design notation for real-time systems 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. 2002 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v11_n2_p149_Felder 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
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.
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
publishDate 2002
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v11_n2_p149_Felder
http://hdl.handle.net/20.500.12110/paper_1049331X_v11_n2_p149_Felder
_version_ 1768545566647648256

Ejemplares similares