Formalizing software architectures for embedded systems

DOI10.1007/3-540-45449-7_31MaRDI QIDQ4473748zbMATH OpenFDO

Authors Pamela Anne Binns, Steve Vestal

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2211/22110451.htm

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of software (68N99)

Recommendations

• Model-driven architecture for embedded software: A synopsis and an example
• An architectural approach to the analysis, verification and validation of software intensive embedded systems
• scientific article; zbMATH DE number 1408164
• Generative programming for embedded systems
• Languages for formalizing, visualizing and verifying software architectures

Cited in

(5)

• High-integrity systems development for integrated modular avionics using VxWorks and GNAT
• An approach to designing safe embedded software
• Generative programming for embedded systems
• An architectural approach to the analysis, verification and validation of software intensive embedded systems
• Specifying embedded systems with statecharts and Z: An agenda for cyclic software components

This page was built for publication: Formalizing software architectures for embedded systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473748)