scientific article; zbMATH DE number 2176488

MaRDI QIDQ4679539zbMATH OpenFDO

Authors Uwe Rastofer

Publication date 16 June 2005

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Distributed systems (68M14) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2080772
• Compositional model for formal development of real-time systems design
• scientific article; zbMATH DE number 176150
• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• A Platform-independent Component Modeling Language for distributed real-time and embedded systems
• scientific article; zbMATH DE number 1787170

Cited in

(16)

• scientific article; zbMATH DE number 1787170 (Why is no real title available?)
• Analyzing real-time systems: Theory and tools
• Model-based development of embedded systems: the SysWeaver approach
• A design flow for supporting component-based software development in multiprocessor real-time systems
• A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
• scientific article; zbMATH DE number 2088937 (Why is no real title available?)
• scientific article; zbMATH DE number 2089416 (Why is no real title available?)
• scientific article; zbMATH DE number 2017342 (Why is no real title available?)
• A component-based approach to the design of networked control systems
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution
• A Platform-independent Component Modeling Language for distributed real-time and embedded systems
• Research and application of predictable CER-real time Java developing model
• Time-budgeting: a component based development methodology for real-time embedded systems
• scientific article; zbMATH DE number 2080773 (Why is no real title available?)
• Modular design of real-time systems using hierarchical communicating real-time state machines

This page was built for publication:

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