Add to ORKGStatic analyzers for critical embedded softwares often poorly abstract the phys-ical environment in which, in practice, the embedded systems are run. To take an extreme example (more reasonable examples abound in articles dedicated to hybrid systems [1, 12]), the static analysis of avionic codes should abstract th
Abstract. In this article, we introduce a new way of modelling and analyzing hybrid systems. Our mod...
Abstract. Static analysis examines program code and reasons over all possible behaviors that might a...
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includ...
There exist currently in production an immense number of applications that are considered safety cri...
Much software for embedded systems is written in languages such as C. This is known to be error pron...
International audienceEmbedded critical systems, such as planes and cars, cannot be easily fixed dur...
This monograph presents abstract interpretation and shows how its principles can be successfully app...
International audienceFormal methods, and in particular sound static analyses, have been recognized ...
Embedded software must meet conflicting requirements such as being highly reliable, running on resou...
International audienceWe show that abstract interpretation-based static program analysis can be made...
During the embedded system development an estimation of software performance on different hardware i...
The strongest successes of static analysis so far have been, on the one hand, sound analysis on safe...
Abstract. Simulation is used increasingly throughout the sciences for many purposes. While in many c...
Embedded systems have proliferated into diverse and complex critical applications with stringent rel...
Embedded systems have proliferated into diverse and complex critical applications with stringent rel...
Abstract. In this article, we introduce a new way of modelling and analyzing hybrid systems. Our mod...
Abstract. Static analysis examines program code and reasons over all possible behaviors that might a...
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includ...
There exist currently in production an immense number of applications that are considered safety cri...
Much software for embedded systems is written in languages such as C. This is known to be error pron...
International audienceEmbedded critical systems, such as planes and cars, cannot be easily fixed dur...
This monograph presents abstract interpretation and shows how its principles can be successfully app...
International audienceFormal methods, and in particular sound static analyses, have been recognized ...
Embedded software must meet conflicting requirements such as being highly reliable, running on resou...
International audienceWe show that abstract interpretation-based static program analysis can be made...
During the embedded system development an estimation of software performance on different hardware i...
The strongest successes of static analysis so far have been, on the one hand, sound analysis on safe...
Abstract. Simulation is used increasingly throughout the sciences for many purposes. While in many c...
Embedded systems have proliferated into diverse and complex critical applications with stringent rel...
Embedded systems have proliferated into diverse and complex critical applications with stringent rel...
Abstract. In this article, we introduce a new way of modelling and analyzing hybrid systems. Our mod...
Abstract. Static analysis examines program code and reasons over all possible behaviors that might a...
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includ...