From requirements to validated embedded systems

DOI10.1007/3-540-45449-7_5MaRDI QIDQ4473706zbMATH OpenFDO

Authors Manfred Broy, Oscar Slotosch

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/22110051.htm

Mathematics Subject Classification ID

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

Recommendations

• Model-based development of embedded systems
• An end-to-end methodology for building embedded systems
• Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system
• Modular formal specification of data and behaviour
• A high-level requirements engineering methodology for electronic system-level design

Cited in

(6)

• A high-level requirements engineering methodology for electronic system-level design
• A modular approach to the specification and validation of an electrical flight control system
• VEST -- a toolset for constructing and analyzing component based embedded systems
• Model-based development of embedded systems
• Towards dependable development tools for embedded systems: a case study in software verification
• Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system

This page was built for publication: From requirements to validated embedded systems

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