Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Proceedings of the 39th annual Design Automation Conference
METRICS '03 Proceedings of the 9th International Symposium on Software Metrics
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
Formal Methods in System Design
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
An empirical framework for comparing effectiveness of testing and property-based formal analysis
PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Challenges in automotive software engineering
Proceedings of the 28th international conference on Software engineering
4th International ICSE Workshop on Software Engineering for Automotive Systems
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Software Engineering for Automotive Systems: A Roadmap
FOSE '07 2007 Future of Software Engineering
Information and Software Technology
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
ESEM '07 Proceedings of the First International Symposium on Empirical Software Engineering and Measurement
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Lessons learned from automated analysis of industrial UML class models (an experience report)
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
Software in embedded (e.g. automotive) systems requires a high level of reliability. Model-based development techniques are increasingly used to reach this goal, but so far there is relatively little published knowledge on the comparative benefits in using different assurance techniques. We investigate different and potentially complementary model-based software quality assurance methods (namely simulation and white-box testing vs. model-checking) at the hand of an application to the software component of a door control unit. We draw conclusions with regards to suitable application use cases.