162
click to vote
ADAEUROPE
2015
Springer
10 years 3 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...
165
click to vote
ADAEUROPE
2015
Springer
10 years 3 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...
266
click to vote
ADAEUROPE
2015
Springer
10 years 3 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 ...
111
click to vote
ACTA
2015
10 years 3 months ago
2015
The logic PML is a probabilistic version of Hennessy-Milner logic introduced by Larsen and Skou to characterize bisimilarity over probabilistic processes without internal nondeterm...
273
click to vote
ACTA
2015
10 years 3 months ago
2015
The synchronous model of concurrent computation (SMoCC) is well established for programming languages in the domain of safety-critical reactive and embedded systems. Translated int...
105
click to vote
ACTA
2015
10 years 3 months ago
2015
Abstract. In model-driven design, the structure of software is commonly specified by meta-models like uml class diagrams. In this paper we study how graph grammars can be used for...