A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
The design and performance of a real-time CORBA event service
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Period-Based Load Partitioning and Assignment for Large Real-Time Applications
IEEE Transactions on Computers
Introduction to Algorithms
Computer
dSPIN: A Dynamic Extension of SPIN
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Proceedings of the 25th International Conference on Software Engineering
Bounding the end-to-end response times of tasks in a distributed real-time system using the direct synchronization protocol
Object-Oriented Real-Time Computing for Reusable Avionics Software
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
VEST: A Toolset for Constructing and Analyzing Component Based Operating Systems For Embedded and Real-Time Systems
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Early-stage performance modeling and its application for integrated embedded control software design
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Remote attestation on program execution
Proceedings of the 3rd ACM workshop on Scalable trusted computing
Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Software—Practice & Experience
Analysis and visualization of behavioral dependencies among distributed objects based on UML models
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Real-Time scheduling techniques for implementation synthesis from component-based software models
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Model-Driven architecture for hard real-time systems: from platform independent models to code
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
| Hi-index | 0.00 |
We describe an end-to-end tool-chain for model-baseddesign and analysis of component-based embeddedreal-time software. All aspects of an embedded real-timesystem are captured in domain-specific models, includingsoftware components and architecture, timing andresource constraints, processes and threads, executionplatforms, etc. We focus on the AIRES tool, which performsvarious static analysis tasks based on the models,including system-level dependency analysis, executionrate assignment to component ports, real-timeand schedulability analysis, and automated allocationof components to processors. By capturing all relevantinformation explicitly in the models at the design-level,and performing analysis that provide insight into non-functionalaspects of the system, we can raise the levelof abstraction for the designer, and facilitate rapid systemprototyping.