| 1. |
- Asplund, Lars, et al.
(författare)
-
The Gurkh Project : A Framework for Verification and Execution of Mission Critical Applications
- 2003
-
Ingår i: AIAA/IEEE Digital Avionics Systems Conference - Proceedings, vol. 2. - 078037844X ; , s. 10.B.1/1-10.B.1/9
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The paper contributes with three methods that together will make a complete tool-set for verification of mission critical applications. The first method is the transformation of existing Ada or VHDL code into an intermediate form. This form is used for verification by numerous different model checkers. The second method is a predictable runtime kernel that has both a verifiable formal model and is implemented in hardware to achieve full predictability. Finally, a method for transforming the intermediate form of the complete system into a hardware unit, the SafetyChip that performs runtime control of the system. This SafetyChip can catch 'out-of-state' behaviors.
|
|
| 2. |
|
|
| 3. |
- Navarro, Israel, et al.
(författare)
-
Reducing the Effects of Requirements Changes through System Design
- 2001
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- The continuous stream of requirements changes that often takes place during software development can create major problems in the development process. This paper defines a concept we call semantic coupling that along with features of intent specifications can be used during system design to reduce the impact of changing requirements. The practicality of using the approach on real software is demonstrated using the intent specification of the control software for a NASA robot designed to service the heat resistant tiles on the Space Shuttle.
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
- Srinivasan, Jayakanth, et al.
(författare)
-
Real-Time Architecture Analysis : A COTS Perspective
- 2002
-
Ingår i: AIAA/IEEE Digital Avionics Systems Conference - Proceedings, Volume 1, 2002.
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Real-time systems are defined as systems in which the correctness of the system depends not only on the logical correctness of the computation, but also on the time at which the result is produced. Honeywell's choice of the Time Triggered Protocol (TTP) for a low cost avionics bus in 2001, exemplifies the industry trend to using Commercial Off The Shelf (COTS) components to implement real-time systems. The driving factors behind the trend are the introduction of SoC devices (Systems on a Chip) that contain processors, memory, network access, I/O interface, system and application software, and smart MEMS transducers which contain the sensing element, the signal conditioning logic and network access logic on a single silicon die. In this paper, we compare and contrast TTP, FlexRay and MIL-STD-1553 architectures in terms of the basic requirements for a systems bus, namely, network architecture, bus access, message formats, clock synchronization, fault tolerance, error detection and tool support.
|
|
| 8. |
|
|
| 9. |
|
|
