We report on recent advances in Model-based Methodologies for Pervasive and Embedded Software. This paper describes the research presented at MOMPES 2009, the 6th edition of a workshop series. The MOMPES workshops focus on the theoretical and practical ...

Regression test selection techniques for embedded programs have scarcely been reported in the literature. In this paper, we propose a model-based regression test selection technique for embedded programs. Our proposed model, in addition to capturing the ...

Scilab is a free and open source alternative to commercial scientific software packages for numerical computations. It provides an open programming environment along with a large number of powerful primitives. To realize the full potential of Scilab in ...

Hard real-time embedded systems have stringent timing constraints that must be met in order to ensure the correct functioning of the system. In many cases, these systems are composed of several CPU-bound tasks, which may need to rely on multiple ...

This paper introduces a real-time component model that offers a separation of concerns which allows a straight-forward integration of independently developed components. So-called transparent distribution forms the backbone of the integration process. ...

Software systems with inherent real time characteristics have become the driving force in many areas of technology like the automotive sector. Control functions of cars, driver assistance as well as systems for information and entertainment are ...

This book discusses testing of software and software-rich systems; particularly those that are embedded in larger Hardware/Software systems. On the other hand, to describe it another way, this book is one of those books that make writing book reviews ...

Building real-time applications can be one of the most difficult jobs facing today's software engineers. With all the talk about Web services and Web based applications we sometimes forget that there is a large community of practice engaged in the ...

In order to be able to determine whether the product line approach is suitable, a company needs to analyse its business drivers, commonality of existing products, domain knowledge owned by the engineering staff, and quality of the representations of ...

This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classification schemes are discussed in the context of ASTRAL, which is a formal ...

Before designing safety- or mission-critical real-time systems, a specification of the required behaviour of the system should be produced and reviewed by domain experts. After the system has been implemented, it should be thoroughly tested to ensure ...

An extremely time-consuming task of producing an embedded real-time system is the final analysis and fine-tuning of the system's timing. Existing CASE tools focus on the software specification and design of embedded systems. They provide little, if any, ...

We present an automatic approach to verify designs of real-time distributed systems for complex timing requirements. We focus our analysis on designs which adhere to the hypothesis of analytical theory for Fixed-Priority scheduling. Unlike previous ...

CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The functional problem is solved by constructing a formal reactive ...

Specification of software for safety critical, embedded computer systems has been widely addressed in literature. To achieve the high level of confidence in a specification's correctness necessary in many applications, manual inspections, formal ...

This paper presents an architectural style for real-time systems, and an associated formal architectural description language, called Robots. A basic specification in Robots consists of a synchronous control task that is responsible for the dynamic ...

We present a communication and component model for push systems. Surprisingly, despite the widespread use of many push services on the Internet, no such models exist. Our communication model contrasts push systems with client-server and event-based ...