What are race conditions?: Some issues and formalizations
ACM Letters on Programming Languages and Systems (LOPLAS)
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Selected writings on computing: a personal perspective
Selected writings on computing: a personal perspective
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Real-Time Component-Based Systems
RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
An Interface Algebra for Real-Time Components
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Interface-Based Rate Analysis of Embedded Systems
RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
On Component-Based Development and High-Integrity Real-Time Systems
RTCSA '09 Proceedings of the 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
A Component Model for On-board Software Applications
SEAA '10 Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
IEEE Software
Detecting high-level synchronization errors in parallel programs
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Scheduling configuration of real-time component-based applications
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Ada ravenscar code archetypes for component-based development
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
In this work we present a strategy for addressing synchronization requirements in the model-driven component-based development of high-integrity real-time systems. The strategy we use regards separation of concerns as the cornerstone of the component-based development process, seeking to distinguish the responsibilities involved in specifying the system needs with regard to synchronization, from the responsibilities involved in the elaboration of a solution that provably satisfies those needs. In our vision the user expresses requirements related to the synchronization behavior of system components declaratively. This is done by attaching specification attributes to the affected elements of the system model. The underlying design environment is then in charge of producing a solution that guarantees that that behavior is achieved at run time. In contrast to classic component-oriented approaches, we consider synchronization requirements from the perspective of the client component instead of the provider one. We address the problem of high-level data races resulting from the lack of support for atomicity in the execution of sequences of operations that invoke multiple required interfaces.