Modeling and schedulability analysis in the development of real-time distributed Ada systems
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Analysis and optimization of distributed real-time embedded systems
Proceedings of the 41st annual Design Automation Conference
Combined approach to system level performance analysis of embedded systems
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Complex task activation schemes in system level performance analysis
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Sensitivity analysis of complex embedded real-time systems
Real-Time Systems
PACC starter kit: developing software with predictable behavior
Companion of the 30th international conference on Software engineering
Performance analysis of real-time component architectures: a model interchange approach
WOSP '08 Proceedings of the 7th international workshop on Software and performance
EURASIP Journal on Embedded Systems - Operating System Support for Embedded Real-Time Applications
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Model-Driven Performance Analysis
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Ada-CCM: Component-Based Technology for Distributed Real-Time Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Case study on distributed and fault tolerant system modeling based on timed automata
Journal of Systems and Software
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Bottom-up performance analysis considering time slice based software scheduling at system level
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Validate, simulate, and implement ARINC653 systems using the AADL
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Support for a real-time transactional model in distributed Ada
ACM SIGAda Ada Letters
Generation and calibration of compositional performance analysis models for multi-processor systems
SAMOS'09 Proceedings of the 9th international conference on Systems, architectures, modeling and simulation
White box performance analysis considering static non-preemptive software scheduling
Proceedings of the Conference on Design, Automation and Test in Europe
Real-time performance analysis of multiprocessor systems with shared memory
ACM Transactions on Embedded Computing Systems (TECS)
SALSART - a web based cooperative environment for offline real-time schedule design
EUROMICRO-PDP'02 Proceedings of the 10th Euromicro conference on Parallel, distributed and network-based processing
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Verification of printer datapaths using timed automata
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
Software and Systems Modeling (SoSyM)
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
An Ada design pattern recognition tool for AADL performance analysis
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
RT-EP: a fixed-priority real time communication protocol over standard ethernet
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Compositional specification of real time embedded systems by priority time Petri Nets
The Journal of Supercomputing
Optimal task execution times for periodic tasks using nonlinear constrained optimization
The Journal of Supercomputing
On the use of greedy shapers in real-time embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
ACM Transactions on Embedded Computing Systems (TECS)
Scheduling configuration of real-time component-based applications
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Conforming the runtime inputs for hard real-time embedded systems
Proceedings of the 49th Annual Design Automation Conference
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
An MDE approach to address synchronization needs in component-based real-time systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Time properties verification framework for UML-MARTE safety critical real-time systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Applicability of real-time schedulability analysis on a software radio protocol
Proceedings of the 2012 ACM conference on High integrity language technology
Design of component-based real-time applications
Journal of Systems and Software
Real-time design models to RTOS-specific models refinement verification
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Adapting the end-to-end flow model for distributed Ada to the ravenscar profile
ACM SIGAda Ada Letters
| Hi-index | 0.00 |
Abstract: This paper describes a model for representing the temporal and logical elements of real-time applications, called MAST. This model allows a very rich description of the system, including the effects of event or message-based synchronization, multiprocessor and distributed architectures as well as shared resource synchronization. The model is directly obtainable from a description of the system design using a UML tool. A system representation using this model is analyzable through a set of tools that has been developed within the MAST suite, including worst-case schedulability analysis for hard timing requirements, and discrete-event simulation for soft timing requirements. Although the current model only includes fixed priority systems, it is conceived as an open model and is easily extensible to accommodate other kinds of systems.