2 Hits in 2.9 sec

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA [chapter]

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2020 Lecture Notes in Computer Science  
In the context of automotive domain, modern control systems are software-intensive and have adaptive features to provide safety and comfort.  ...  Adaptive Exterior Light and the Speed Control Systems are examples of software-intensive systems that equip modern cars.  ...  Introduction Modern control systems, like those in the automotive domain, are software-intensive, have adaptive features, and must be reliable.  ... 
doi:10.1007/978-3-030-48077-6_25 fatcat:uxwts2jk3jfn7fwiwvcwhd4lcm

Dagstuhl Reports, Volume 3, Issue 09, September 2013, Complete Issue [article]

The roofline model of Williams, Waterman, and Patterson ( 2009 ) is an analytic tool for gaining insights into how performance changes as intrinsic properties of a computation interact with features of  ...  Our initial suggests how we might use these to explore the landscape of systems and algorithms that might be possible in the future.  ...  Model-based testing aims to use models for software testing.  ... 
doi:10.4230/dagrep.3.9 fatcat:oilweqoffjbx7bjnxvg6vorrzu