A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Object-Oriented Software Construction
Object-Oriented Software Construction
HLS: A Framework for Composing Soft Real-Time Schedulers
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
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
Scheduling and memory requirements analysis with AADL
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
AADL modeling and analysis of hierarchical schedulers
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Towards user-level extensibility of an Ada library: an experiment with cheddar
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
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
Applicability of real-time schedulability analysis on a software radio protocol
Proceedings of the 2012 ACM conference on High integrity language technology
Hi-index | 0.00 |
This paper presents the refactoring work of Cheddar, a set of Ada packages which aims at providing performance analysis tools for concurrent real time applications. CASE tools can be used for such a purpose. However, we chose to use a meta CASE tool called Platypus. It seems that few studies exist concerning Ada and meta-modelization. Then, in this paper, we investigate how to use a meta CASE tool in order to automatically produce some parts of an Ada 95 object oriented software.