Theoretical Computer Science
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Bottom-up performance analysis considering time slice based software scheduling at system level
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
System level performance analysis for real-time automotive multicore and network architectures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Testing real-time task networks with functional extensions using model-checking
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Tight performance bounds in the worst-case analysis of feed-forward networks
INFOCOM'10 Proceedings of the 29th conference on Information communications
White box performance analysis considering static non-preemptive software scheduling
Proceedings of the Conference on Design, Automation and Test in Europe
Real-time performance analysis of multiprocessor systems with shared memory
ACM Transactions on Embedded Computing Systems (TECS)
Relating average and discounted costs for quantitative analysis of timed systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Combining optimistic and pessimistic DVS scheduling: an adaptive scheme and analysis
Proceedings of the International Conference on Computer-Aided Design
Modeling and validating distributed embedded real-time systems with VDM++
FM'06 Proceedings of the 14th international conference on Formal Methods
State-based scheduling with tree schedules: analysis and evaluation
Real-Time Systems
A novel analytical method for worst case response time estimation of distributed embedded systems
Proceedings of the 50th Annual Design Automation Conference
Contributions of model checking and CoFI methodology to the development of space embedded software
Empirical Software Engineering
Formal verification of service-oriented adaptive driver assistance systems
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
Hi-index | 0.00 |
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we present in detail how a suitable timed automata model is composed. Exact upper bounds on the timeliness properties can be found with the Uppaal model checker for a number of usage scenarios. We compare our results with three other performance modeling techniques. This comparison shows that if the state space of the model is tractable, Uppaal gives the most accurate results at similar cost. The proposed modeling strategy can be automated, which alleviates the difficulty and error-proneness of manually constructing timed automata models.