The science of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, continuums, reactivity, and resource management must be remarried to computation. Prevailing abstractions

Abstract—Developers need to evaluate software’s performance to make software efficient. This paper suggests a performance evaluation system for embedded software. The suggested system consists of code analyzer, testing agents, data analyzer, and report viewer. The code analyzer inserts additional

aachen.de Companies successfully applying product line approaches of-ten follow a long-term strategy and need to plan product portfolios years ahead. For instance in the automotive indus-try, managers constantly make decisions about future prod-uct evolution, like “the LED tail lights will be introduced with the next facelift and the LED front lights two years later”. With a raising number of features, feature changes, and evolution steps, a systematic approach for evolution planning becomes essential. However, there is only very lit-tle support for such evolution in model-based product line engineering so far. This paper presents an approach for extending model-driven product line engineering towards automated and tool-supported techniques for product line evolution. We provide a feature-based approach to model the variability over time and a catalogue of change operators for feature models.

Proceedings of the IEEE January 2003 The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple view models used in all phases of the development process. Models explicitly represent the embedded software and the environment

Embedded computer systems are characterized by the presence ofadedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical component of the design speci cation of these systems. At present, however, power analysis tools can only be applied

Abstract — With the integration of computer technology, consumer products, and communication facilities, the software in an embedded system now accounts for as much as 70 % of total system functionalities. In this work, we propose a complete methodology called ESSP (Embedded Software Synthesis

embedded software upwards in the abstraction layers to system functionality; and second, to link embedded software to the programmable platforms that support it. This will provide the much-needed means to verify whether the constraints posed on Embedded Systems are met. We envisage an optimised, automated

for software for which bugs are a quite common situation which can be easily handled through online updates. However in the area of embedded software, errors are hardly tolerable. Such embedded software is often safety-critical, so that a software failure might create a safety hazard in the equipment

. This session will highlight advances in process, tools, and technology being applied to reduce design and validation time and cost, and to improve the quality of embedded software. 8:00 a.m.- 11:00 a.m.

Abstract This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of appropriate analysis tools. We study dierent performance metrics that need to be considered in this context