Visual models help to understand complex systems. However, withthe user interaction paradigms established today, activities such as creating, maintaining or browsing visual models can be very tedious. Valuable engine...
详细信息
ISBN:
(纸本)9783642161445
Visual models help to understand complex systems. However, withthe user interaction paradigms established today, activities such as creating, maintaining or browsing visual models can be very tedious. Valuable engineering time is wasted with archaic activities such as manual placement and routing of nodes and edges. this paper presents an approach to enhance productivity by focusing on the pragmatics of model-based design. Our contribution is twofold: First, the concept of meta layout enables the synthesis of different diagrammatic views on graphical models. this modularly employs sophisticated layout algorithms, closing the gap between MDE and graph drawing theory. Second, a view management logic harnesses this auto-layout to present customized views on models. these concepts have been implemented in the open source Kiel Integrated Environment for Layout Eclipse Rich Client (KIELER). Two applications-editing and simulation-illustrate how view management helps to increase developer productivity and tame model complexity.
Fault-tolerant scheduling, effective means of improving system reliability, plays a significant role in some mission-critical applications. Although extensive fault-tolerant scheduling algorithms have been proposed fo...
详细信息
the proceedings contain 46 papers. the topics discussed include: power-aware data buffer cache management in real-timeembedded databases;a distributed computing environment for embedded control systems withtime-trig...
ISBN:
(纸本)9780769533490
the proceedings contain 46 papers. the topics discussed include: power-aware data buffer cache management in real-timeembedded databases;a distributed computing environment for embedded control systems withtime-triggered and event-triggered processing;a lightweight kernel objects monitoring infrastructure for embeddedsystems;a run-time environment supporting real-time execution of embedded control applications;efficient query processing for tracing RFID tags by recording location identifiers;an efficient anti-collision protocol using bit change sensing unit in RFID system;impact of cache partitioning on multi-tasking realtimeembeddedsystems;concepts of switching in the time-triggered network-on-chip;new tracing performance analysis techniques for embeddedapplications;static loop bound analysis of C programs based on flow analysis and abstract interpretation;and swapping strategy to improve I/O performance of mobile embeddedsystems using compressed file systems.
the behavior of real-timeembeddedsystems (RTES) is driven by their environment. Independent system test teams normally focus on black-box testing as they have typically no easy access to precise design information. ...
详细信息
ISBN:
(纸本)9783642161445
the behavior of real-timeembeddedsystems (RTES) is driven by their environment. Independent system test teams normally focus on black-box testing as they have typically no easy access to precise design information. Black-box testing in this context is mostly about selecting test scenarios that are more likely to lead to unsafe situations in the environment. Our Model-Based Testing (MBT) methodology explicitly models key properties of the environment, its interactions withthe RTES, and potentially unsafe situations triggered by failures of the RTES under test. though environment modeling is not new, we propose a precise methodology fitting our specific purpose, based on a language that is familiar to software testers, that is the UML and its extensions, as opposed to technologies geared towards simulating natural phenomena. Furthermore, in our context, simulation should only be concerned with what is visible to the RTES under test. Our methodology, focused on black-box MBT, was assessed on two industrial case studies. We show how the models are used to fully automate black-box testing using search-based test case generation techniques and the generation of code simulating the environment.
In classical real-timesystemsthe resources for an application are allocated at system start so that every resource request can be fulfilled in future. this would lead to much internal waste of resources in the case ...
详细信息
In classical real-timesystemsthe resources for an application are allocated at system start so that every resource request can be fulfilled in future. this would lead to much internal waste of resources in the case of modern Self-X systems, because these systems have highly dynamic resource consumptions. the Flexible Resource Manager (FRM) was developed to overcome this problem. the manager puts temporarily unused resources at other applications' disposal. In this paper the FRM approach is evaluated by concrete application examples and randomly generated applications.
In work on globally-scheduled soft real-time multiprocessor systems, analysis has been presented for dealing with self-suspensions, but this analysis can be pessimistic. In this paper, we present an approach that is d...
详细信息
In work on globally-scheduled soft real-time multiprocessor systems, analysis has been presented for dealing with self-suspensions, but this analysis can be pessimistic. In this paper, we present an approach that is designed to improve the schedulability of such systems. In experimental results that are presented, the proposed approach significantly improved schedulability in most considered scenarios.
We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the develop...
详细信息
We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the development of the system architecture (using a standard model domain-specific language), the computation of the safety integrity level and the calculation of the reliability of the whole system. We reiterate the safety analysis on the sub-systems. the proposed methodology has found immediate industrial applications.
暂无评论