A Model Driven Testing Environment for Embedded Software

A model-driven validation & verification environment for embedded systems

This paper presents a model-driven environment for HW/SW co–design and analysis of embedded systems based on the Unified Modeling Language, UML profiles for SystemC/multithread C, and the Abstract State Machine formal method. The environment supports a model-driven design methodology which provides a graphical high-level representation of hardware and software components, and allows C/C++/Syste...

A Model-Driven Decision Support System for Software Cost Estimation (Case Study: Projects in NASA60 Dataset)

Estimating the costs of software development is one of the most important activities in software project management. Inaccuracies in such estimates may cause irreparable loss. A low estimate of the cost of projects will result in failure on delivery on time and indicates the inefficiency of the software development team. On the other hand, high estimates of resources and costs for a project wil...

Software Testing for Embedded Systems

In the recent years, embedded systems have become so complex that the development and testing time is becoming extremely time consuming. As embedded systems include more and more functions for new services, embedded systems are presenting challenges with respect to the attributes of security, scalability availability, and performance with deterministic behavior. This paper presents the issues t...

A Distributed Development Environment for Embedded Software

The HAGAR project is building a high-performance disk controller. It is an embedded system for which many hundreds of thousands of lines of embedded software will have to be developed concurrently with the development of the hardware. We found existing methods for embedded software development, such as simulation and remote cross development, to be inadequate for us. To meet our special needs, ...

Formal Model Driven Software Synthesis for Embedded Systems