71 search results - page 1 / 15 » The Chance for Ada to Support Distribution and Real-Time in ... |
ADAEUROPE
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
CBSE
2008
Springer
13 years 6 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
HASE
2007
IEEE
13 years 8 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
JTRES
2009
ACM
13 years 11 months ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...