The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Theoretical Computer Science
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Timed Automata as Task Models for Event-Driven Systems
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Automatic Verification of Component-Based Real-Time CORBA Applications
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Model-based analysis of distributed real-time embedded system composition
Proceedings of the 5th ACM international conference on Embedded software
Computer
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
System architecture evaluation using modular performance analysis: a case study
International Journal on Software Tools for Technology Transfer (STTT)
System-level performance analysis for designing on-chip communication architectures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Real-time analysis of resource-constrained distributed systems by simulation-guided model checking
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Performance evaluation of UML2-modeled embedded streaming applications with system-level simulation
EURASIP Journal on Embedded Systems - Special issue on design and architectures for signal and image processing
An MILP-based performance analysis technique for non-preemptive multitasking MPSoC
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special section on the ACM IEEE international conference on formal methods and models for codesign (MEMOCODE) 2009
Understanding performance modeling for modular mobile-cloud applications
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Elastic computing: A portable optimization framework for hybrid computers
Parallel Computing
The RACECAR heuristic for automatic function specialization on multi-core heterogeneous systems
Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems
A novel analytical method for worst case response time estimation of distributed embedded systems
Proceedings of the 50th Annual Design Automation Conference
Hi-index | 0.00 |
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated generation of directed test vectors. This paper investigates how DRE systems can be represented as discrete event systems (DES) in continuous time, and proposes an automated method for the performance evaluation of such systems. The proposed method also provides a way for the verification of dense time properties for a large class of DRE systems. This approach provides a formal executable model allowing to bridge the gap between simulations and formal verification. Our results show that the proposed DES-based evaluation method can achieve better coverage in large-scale DRE systems than alternative methods.