Loading [a11y]/accessibility-menu.js
A comparison of executable model based approaches for embedded systems | IEEE Conference Publication | IEEE Xplore

A comparison of executable model based approaches for embedded systems


Abstract:

Designing and building embedded systems is a challenging problem. Designers must ensure that the software architecture meets its functional requirements and also, since e...Show More

Abstract:

Designing and building embedded systems is a challenging problem. Designers must ensure that the software architecture meets its functional requirements and also, since embedded systems often have real-time constraints, meets its performance requirements. It is usually difficult to determine whether or not the embedded system designs will meet functional and performance requirements. To help increase confidence in embedded software architectures, designers often turn to executable model based approaches to assess their systems. There are many different approaches for designing and analyzing real-time embedded systems. This paper is intended to help designers in their choice by comparing two different executable model based approaches for designing and validating real-time embedded systems, namely state machines and colored Petri nets. Both approaches are compared using seven different comparison criteria and examples are given from a cruise control system case study.
Date of Conference: 09-09 June 2012
Date Added to IEEE Xplore: 28 June 2012
ISBN Information:
Conference Location: Zurich, Switzerland

Contact IEEE to Subscribe

References

References is not available for this document.