Software synthesis of real-time communication system code for distributed embedded applications

MaRDI QIDQ4494090zbMATH OpenFDO

Authors Carsten Böke

Publication date 10 August 2000

zbMATH Keywords

distributed real-time systemssoftware synthesis

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
• Schedulability-driven communication synthesis for time triggered embedded systems
• scientific article; zbMATH DE number 2176488
• Model-based development of embedded systems: the SysWeaver approach
• scientific article; zbMATH DE number 2143087

Cited in

(5)

• Schedulability-driven communication synthesis for time triggered embedded systems
• Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
• Model-based development of embedded systems: the SysWeaver approach
• Síntese de Software Adaptativo baseada em Especificações, Extended Dataflow
• scientific article; zbMATH DE number 1418467 (Why is no real title available?)

This page was built for publication: Software synthesis of real-time communication system code for distributed embedded applications

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