A design methodology for distributed real-time automotive applications

DOI10.1007/978-1-4020-6254-4_13MaRDI QIDQ3564028zbMATH OpenOpenAlexFDO

Authors Werner Damm, Alexander Metzner

Publication date 2 June 2010

Published in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4020-6254-4_13

zbMATH Keywords

design methodologyreal-time requirementsautomotive real-time systemscomponent interfacesdistributed organization

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51)

Recommendations

• Using system-level timing analysis for the evaluation and synthesis of automotive architectures
• Time-budgeting: a component based development methodology for real-time embedded systems
• Hybrid systems in automotive electronics design
• Modular design of real-time systems using hierarchical communicating real-time state machines
• Methodologies for specification of real-time systems using timed I/O automata

Cited in

(3)

• Some results on parametric temporal logic
• Using system-level timing analysis for the evaluation and synthesis of automotive architectures
• Time-budgeting: a component based development methodology for real-time embedded systems

This page was built for publication: A design methodology for distributed real-time automotive applications

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