69
Voted
ADAEUROPE
2015
Springer
9 years 5 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...
78
Voted
ADAEUROPE
2015
Springer
9 years 5 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...
117
Voted
ADAEUROPE
2015
Springer
9 years 5 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 ...