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 paper presents a low-level memory and hardware model suitable for analyzing embedded systems software written in high-level languages such as C. The key feature of this approach is that it combines information that can be discovered from the C code itself with information from the executable binary program. Further, it also integrates effects caused through hardware dependencies. We describe...
Measuring reliability of embedded systems is an important but non-trivial problem. In a system design process, it is desirable to have early indicators for the reliability of an embedded system. Such reliability measurement will typically be carried out on system prototypes. The reliability measurements should thus be easy in set up, flexible to system changes, and hopefully low in cost. In the paper...
This paper addresses variability in the domain of software-based control systems. When designing product lines of such systems, varying sensors and actuators have to be used and parameterized, which in turn requires adaptations in the behavior of the microcontroller. For efficient engineering these adaptations should be performed in an systematic and straightforward manner. We tackle these challenges...
Reuse is considered as an important aspect in software design, but certain challenges have to be met if software reuse is applied in embedded systems. In these systems, specific requirements, as for example safety or real-time requirements, have to be considered, which typically complicate the reuse of software. Moreover, a large variety of hardware platforms is present in embedded systems. Those...
Microcontrollers in automotive applications perform more and more safety critical functions. The reliability of these systems is of great importance and model checking is seen as a promising future tool for the analysis of the corresponding software. For this purpose an explicit, on-the-fly CTL model checker for assembly code called [mc]square was developed at our institute. This paper describes a...
Industrial embedded systems based on different types of hardware platforms are increasingly used in safety-critical applications these days. These different hardware platforms lead to fundamental differences in design, especially in case of the corresponding software. Experiments have been conducted at our institute in which a single task has been implemented on microcontrollers and on programmable...
The paper presents details of a model checker for microcontroller-based embedded systems, called [mc] square. The purpose of the tool is to make model checking technology applicable in an embedded systems industry context. Consequently, it does not implement new theory but combines existing techniques to achieve the necessary efficiency and usability in a novel application area. One of the pragmatic...
Nowadays industrial embedded systems are increasingly used in safety-critical applications. These embedded systems are based on different hardware platforms, reaching from microcontrollers to programmable logic devices. These different hardware platforms lead to fundamental differences in design. Major differences result from the different hardware architectures and their robustness and reliability...
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.