UML-Based Approach to Developing Verified Embedded Software
Sara Van Langenhove · Ghent University Academic Bibliography (Ghent University) · 2005
between. If you start to look around you, you are bound to realize that you are surrounded by devices with growing complexity and at the same time reduce development costs and time to market. In fact, it is becoming a computing power inside. Embedded systems have become a vital part of a growing range of automotive, aerospace, trend to use the Unified Modeling Language (UML) to design embedded software. biomedical and military systems. Concurrently, embedded systems have become much more complex, in part because more powerful processors are now inexpensive enough to be included in cars, cameras, kid toys and other We are convinced that software errors are likely to be introduced in the design phase and that these errors have a products. These embedded devices, with more processing power and memory, typically perform a complex set of lasting impact on the reliability, cost and safety of a system. We propose a UML-based verification method to functions, or even several functions. As many of these applications are potentially life-threatening, the need for an identify and remove errors, misconceptions, etc. during the design phase of embedded software development. appropriate design approach has never been more compelling. UML-Based Approach to Developing Verified Embedded Software Sara Van Langenhove Prof. Dr. A. Hoogewijs