Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life increasingly depend on embedded systems and increased the size and complexity of embedded software. Embedded software developers must pay attention to not only performance and size but also extensibility and modifiability ...

In this paper a Walsh function (WF) based new algorithm for reactive power measurement is presented. The proposed algorithm allows the convenient calculating process to obtain a reactive power from the entire instant power signal without time delay between current and voltage signal. To test the validity of the suggested approach the simulation tool has been developed by use of “Matlab 6.5” sof...

Traceability in software engineering has been handled mostly has a documentation activity. This paper describes a reactive approach to traceability using MDD as general orientation and QVT as a transformation language. A conceptual model is presented defining some of the key concepts of a reactive traceability framework. Also the semantics of these key concepts is explained. Some examples are g...

Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manifest in the high-level programming and systems modeling language Timber. In this licensiate thesis we demonstrate how the Timber semantics for parallel reactive objects translates to embedded real-time programming in C. ...

Synchronous languages are dedicated to hardware, software, or mixed reactive systems that maintain a continuous interaction with their environment. They come in two classes: data-oriented languages such as Lustre and Signal, .which are targeted to data-intensive applications such as continuous control or signal processing, and control-oriented languages or visual formalisms such as Esterel, Sta...

Lutess is a tool that we developed for testing reactive synchronous software and which is being used in different industrial contexts. It offers several formal testing methods with automatic generation of test data from the environment specification. Lutess provides also an approach to assign a probability to the next event issued by the environment. However, a Lutess’ user faces the problem of...

Many knowledge-based systems suffer from structural problems such as inefficiency rooted in overinformedness and inability to cope with the unexpected or exceptional nature of real-world data. Behaviour-based architectures are better suited for such problems, but are not yet widely applied, possibly because design strategies are not yet well established. In robotics, subsumption architecture ha...

This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the solution analysis and decision making process. The architecture is modular, it allows for problem-specific extensions, and it is applicable as a post-processing tool for all optimization schemes with a number of different potent...

In this paper, we present a component-based approach for the development of distributed safetycritical real-time systems. The ViPER method is based on the synchronous approach for designing reactive systems and a time-triggered communication architecture. Synchronous software components consisting of a reactive and a transformational part are used to specify the behavior of the system. The reac...

In order to detect grid harmonic and reactive current precisely and real time, this paper arrived at a method of harmonic and reactive current real-time detection applied to active power filter based on the three-phase circuit instantaneous reactive power theory. With Matlab simulation software, researches on simulation of harmonic detection means are carried out, and an analysis of the simulat...