Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different p...
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
Stanley Bak, Deepti K. Chivukula, Olugbemiga Adeku...