SymTA/S is a system-level performance and timing analysis approach based on formal scheduling analysis techniques and symbolic simulation. The tool supports heterogeneous architectures, complex task dependencies and context aware analysis. It determines system-level performance data such as end-to-end latencies, bus and processor utilization, and worst-case scheduling scenarios. SymTA/S furthermore combines optimization algorithms with system sensitivity analysis for rapid design space exploration. This paper gives an overview of the current research interests in the SymTA/S project
This is an early stage proposal of a methodology that can be applied to the data-flow analysis of an...
This paper describes a methodology that provides detailed predictive performance information through...
UML2 and SysML try to adopt techniques known from software development to systems engineering. Howev...
SymTA/S is a performance and timing analysis tool based on formal scheduling analysis techniques and...
International audienceDevelopers of safety-critical real-time systems have to ensure that their syst...
A timing property of a distributed system is an assertion about the time intervals between events in...
Predicting timing behavior is key to efficient embedded real-time system design and verification. Cu...
Accurate timing analysis is key to efficient embedded sys-tem synthesis and integration. While indus...
Formal Program running time verication is an impor-tant issue in system design required for performa...
Today's complex embedded systems integrate multiple hardware and software components, many of t...
With an ever-growing and more productive computer industry, the performance of computer systems has ...
This work gives on overview of performance analysis at the software architectural level and methods ...
There have been major advances in formal methods and related tools in embedded system design in rece...
This work gives an overview of performance analysis at the software architectural level and methods ...
MBTA studies the system’s timing in analysis scenarios, to determine upper bounds to the worst-case ...
This is an early stage proposal of a methodology that can be applied to the data-flow analysis of an...
This paper describes a methodology that provides detailed predictive performance information through...
UML2 and SysML try to adopt techniques known from software development to systems engineering. Howev...
SymTA/S is a performance and timing analysis tool based on formal scheduling analysis techniques and...
International audienceDevelopers of safety-critical real-time systems have to ensure that their syst...
A timing property of a distributed system is an assertion about the time intervals between events in...
Predicting timing behavior is key to efficient embedded real-time system design and verification. Cu...
Accurate timing analysis is key to efficient embedded sys-tem synthesis and integration. While indus...
Formal Program running time verication is an impor-tant issue in system design required for performa...
Today's complex embedded systems integrate multiple hardware and software components, many of t...
With an ever-growing and more productive computer industry, the performance of computer systems has ...
This work gives on overview of performance analysis at the software architectural level and methods ...
There have been major advances in formal methods and related tools in embedded system design in rece...
This work gives an overview of performance analysis at the software architectural level and methods ...
MBTA studies the system’s timing in analysis scenarios, to determine upper bounds to the worst-case ...
This is an early stage proposal of a methodology that can be applied to the data-flow analysis of an...
This paper describes a methodology that provides detailed predictive performance information through...
UML2 and SysML try to adopt techniques known from software development to systems engineering. Howev...