ADAEUROPE
2015
Springer
8 years 8 months ago
2015
Springer
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...
ADAEUROPE
2015
Springer
8 years 8 months ago
2015
Springer
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...
ADAEUROPE
2015
Springer
8 years 8 months ago
2015
Springer
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 ...