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
Schedulability analysis with UML
UML for real
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract
Proceedings of the conference on Design, automation and test in Europe - Volume 1
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Sensitivity analysis for fixed-priority real-time systems
Real-Time Systems
Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
Period sensitivity analysis and D-P domain feasibility region in dynamic priority systems
Journal of Systems and Software
Modeling structured event streams in system level performance analysis
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Towards a simple meta-model for complex real-time and embedded systems
MEDI'11 Proceedings of the First international conference on Model and data engineering
Interchangeable scheduling policies in real-time middleware for distribution
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Loose integration of COTS tools for the development of real time distributed control systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Annotating UML models with non-functional properties for quantitative analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
SoftContract: model-based design of error-checking code and property monitors
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
SoftContract: model-based design of error-checking code and property monitors
UML Modeling Languages and Applications
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
Reducing the gap between design and scheduling
Proceedings of the 20th International Conference on Real-Time and Network Systems
| Hi-index | 0.00 |
This paper describes a methodology and a frameworkFor building an analyzable real-time model of an object-oriented system that is developed using UML CASEtoo.The real-time models is formulated by a new UMLview named "MAST_RT_View".This view allows thedesigner to gradually build the real-time model accordingto the phase of the development process, to feed data intothe analysis tools, and to bring the relevant timing response back into the model.The MAST_RT_View hasthree models:The processing capacity of the hardware/software platform; the timing behavior of the applicationlogical components; and the workload and the timingrequirement of each real-time situation to be analyzed.This view is analyzable by the MAST set of tools, whichIncludes worst-case schedulability analysis and discrete-event simulation for hard and soft timing requirements.