Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components (original) (raw)
Related papers
Modeling and schedulability analysis in the development of real-time distributed Ada systems
2002
Real-Time Scheduling Theory and Ada
IEEE Computer, 1990
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
2008
Design Methods For Real-Time Systems In Ada
2000
Extending Ada's real-time systems annex with the POSIX scheduling services
ACM SIGAda Ada Letters, 2001
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
Lecture Notes in Computer Science, 2004
Incorporating operating modes to an ada real-time framework
2010
Support for a real-time transactional model in distributed Ada
ACM SIGAda Ada Letters, 2010
Ada-CCM: Component-Based Technology for Distributed Real-Time Systems
2008
Real-time interrupt handling in Ada
Software: Practice and Experience, 1987
The Ada task system and real-time applications: an implementation schema
Computer Languages, 1985
Environment for the development and specification of real-time Ada programs
Reliable Software Technologies—Ada-Europe'99, 1999
A Framework for Developing Distributed Hard Real-Time Applications
2000
Programming Languages for Real-Time Systems
2012
A Prototyping Language for Real-Time Software
1988
Programming execution-time servers in Ada 2005
Proceedings of the 13th international workshop on Real-time Ada - IRTAW '07, 2007
An Ada Interface for Application-Defined Scheduling
2001
Dual Priority Scheduling in ADA 95 and Real-Time Posix
IFAC Proceedings Volumes, 1996
Multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems
ACM SIGAda Ada Letters, 1998
Application-Defined Scheduling In Ada
ACM SIGAda Ada Letters, 2003
Ada real-time services and virtualization
ACM SIGAda Ada Letters, 2013
Formal modeling of synchronization methods for concurrent objects in Ada 95
ACM SIGAda Ada Letters, 1999
Practical Use of Ada95 Real-Time Features
Issues in implementing a real time embedded Data Base Management System in Ada
Proceedings of the third annual Washington Ada symposium on Ada Ada use in focus : practical lessons in perspective - WADAS '86, 1986
AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systems
Implementing and using execution time clocks in Ada hard real-time applications
Lecture Notes in Computer Science, 1998
Modeling distributed real-time systems with MAST 2
2012
Classifying Object-Oriented Real-time Systems: Ada 95 and Deal