scientific article; zbMATH DE number 2176488

zbMATH Open1090.68536MaRDI QIDQ4679539FDOQ4679539

Authors: Uwe Rastofer 

Publication date: 16 June 2005

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (16)

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

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)