10 search results - page 1 / 2 » adaeurope 2007 |
ADAEUROPE
2007
Springer
14 years 5 months ago
2007
Springer
Modernlarge real-time systems are becoming more complex. Whilst Ada 2005 provides a comprehensive set of programming mechanisms that allow these systems to be implethe abstraction...
ADAEUROPE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...
ADAEUROPE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
ADAEUROPE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...
ADAEUROPE
2007
Springer
14 years 5 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...