![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessVisualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool
An execution trace is a model of a single system behavior. Execution traces occur everywhere in the system’s lifecycle as they can typically be produced by executable models, by prototypes of (sub)systems, and...
-
Article
Open AccessModeling and analysis of switching max-plus linear systems with discrete-event feedback
Switching max-plus linear system (SMPLS) models are an apt formalism for performance analysis of discrete-event systems. SMPLS analysis is more scalable than analysis through other formalisms such as timed aut...
-
Chapter
Minesweeper is Difficult Indeed!
Various aspects of playing minesweeper have been proven to be (co-)NP-complete through reductions from circuit-SAT and UNSAT. The proofs use quite involved minesweeper templates to simulate Boolean formulas an...
-
Book
-
Chapter
Introduction and Organization of Book Material
The focus of this book is on the principles and the use of the system scenario approach. This concept effectively supports the efficient realization of systems in the presence of strong dynamic behavior. The e...
-
Chapter
Scenarios in the Design of Flexible Manufacturing Systems
Modern high-tech flexible manufacturing systems (FMS) such as lithography systems, professional printers, X-ray machines, and electron microscopes are characterized by an increasingly tight coupling between ma...
-
Chapter
Scenarios in Dataflow Modeling and Analysis
Dataflow models can be used to model and program concurrent systems and applications. Static timed dataflow models commonly abstract the temporal behavior of systems in terms of their worst-case behaviors. Thi...
-
Chapter
Kahn Process Networks and a Reactive Extension
Kahn and MacQueen have introduced a generic class of determinate asynchronous data-flow applications, called Kahn Process Networks (KPNs) with an elegant mathematical model and semantics in terms of Scott-cont...
-
Article
Open AccessMonotonic Optimization of Dataflow Buffer Sizes
Many high data-rate video-processing applications are subject to a trade-off between throughput and the sizes of buffers in the system (the storage distribution). These applications have strict requirements wi...
-
Article
Analyzing execution traces: critical-path analysis and distance analysis
System designers make trade-offs between metrics of interest such as execution time, functional quality and cost to create a properly balanced system. Execution traces, which are sequences of timestamped start...
-
Article
Open AccessPerformance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs
The timed dataflow model of computation is a useful performance analysis tool for electronic system level design automation and embedded software synthesis. Its determinism gives it strong analyzability proper...
-
Article
A blueprint for system-level performance modeling of software-intensive embedded systems
Exploration of design alternatives and estimation of their key performance metrics such as latency and energy consumption is essential for making the proper design decisions in the early phases of system devel...
-
Chapter and Conference Paper
Performance Engineering for Industrial Embedded Data-Processing Systems
Performance is a key aspect of many embedded systems, embedded data processing systems in particular. System performance can typically only be measured in the later stages of system development. To avoid expen...
-
Book
-
Chapter
Adaptivity in Professional Printing Systems
There is a constant pressure on developers of embedded systems to simultaneously increase system functionality and to decrease development costs. Aviable way to obtain a better system performance with the same...
-
Chapter
Reflections on the Octopus Project
How to develop adaptive high-tech embedded systems? This question has motivated this book. Adaptivity provides a wider operational envelope of systems and enables new market opportunities. Effective developmen...
-
Chapter
Kahn Process Networks and a Reactive Extension
Kahn and MacQueen have introduced a generic class of determinate asynchronous data-flow applications, called Kahn Process Networks (KPNs) with an elegant mathematical model and semantics in terms of Scott-cont...
-
Chapter
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems
The complexity of today’s embedded systems is increasing rapidly. Ever more functionality is realised in software, for reasons of cost and flexibility. This leads to many implementation alternatives that vary ...
-
Chapter
Aspects of Adaptive Systems Engineering: A Professional Printing Case
Adaptive systems engineering comprises two individual themes, adaptive systems and systems engineering, and their interaction. In the Octopus project, some challenges that arise from these themes have been add...
-
Chapter and Conference Paper
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems
Software plays an increasingly important role in modern embedded systems, leading to a rapid increase in design complexity. Model-driven exploration of design alternatives leads to shorter, more predictable de...