The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This memorial paper tells the story of the beginning of Boris (Boaz) Trakhtenbrot's long and rich life path, full of unusual and sometimes tragic events. This path led a boy from a Jewish settlement in Eastern Europe to be recognized as one of the founding fathers of theoretical computer science.
The paper studies application of mutation analysis for validation of behavioral requirements for reactive systems. The novelty of the approach is that the suggested mutations are semantic-based and applied to natural language description of requirements. This allows to focus only on plausible potential faults and to avoid generation of mutants that are irrelevant to the intended meaning of requirements...
We describe how statecharts are used to model the behavior of complex reactive systems. The paper is divided into two parts, according to the two main ways that have been suggested for modeling the structure of such systems: structured analysis (SA) and object-orientation (00). It uses a cardiac pacemaker example for illustration.
In model-driven development of reactive systems, statecharts are widely used for formal description of their behavior, providing a sound basis for verification, testing and code generation. The paper presents an approach for dynamic analysis of reactive systems via run-time monitoring of code generated from statechart-based models. The core of the approach is automatic creation of monitoring statecharts...
The paper analyzes the practical applicability of the novel Synchronization Complexity metric (SCM) introduced by the authors in [14]. This metric characterizes complexity of a program based on the kind and amount of means used for synchronization between its concurrent components. The metric is evaluated with respect to the soundness properties introduced by Weyuker [13] and software measurement...
Executable statecharts-based models of embedded real-time systems provide a solid basis for early detection of behavioral errors. However, there are two major semantic gaps between execution of system model and execution of its actual implementation. One is treating of time: simulated time (where every reaction to environment stimuli takes zero time) vs. running in real time. Another one relates to...
The area of Embedded Systems (ES) has been gaining momentum in recent years. Such systems are used in a wide spectrum of application areas in industry. According to experts, the demand for knowledgeable and skilled academicians in the area of ES engineering (ESE) is expected to continue to grow. This led to increasing recognition by the industry and the academy of the need in designated curricula...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.