Sciweavers

Share
ADAEUROPE
2015
Springer
4 years 7 months ago
Static Backward Program Slicing for Safety-Critical Systems
Static program slicing is a technique to detect the program parts (i.e. the “slice”) of the given program possibly affecting a given property. The technique is of interest for...
Husni Khanfar, Björn Lisper, Abu Naser Masud
ADAEUROPE
2015
Springer
4 years 7 months ago
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases
Abstract. A safety case contains safety arguments together with supporting evidence that together should demonstrate that a system is acceptably safe. System changes pose a challen...
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
ADAEUROPE
2015
Springer
4 years 7 months ago
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS
Abstract. This paper discusses the schedulability analysis of a PulseWidth Modulation (PWM) control algorithm of an on-board spacecraft software system. The UPMSat-2 case study is ...
Juan Zamorano, Jorge Garrido
books