Method for analysing the real-time capability of a system
EP2354949A1
Method for analysing the temporal behaviour of the data flow of distributed embedded systems
WO2011076278A1
Method and data processing system for simulating an embedded system
WO2011076276A2
Method for generating an optimised hardware/software partitioning of embedded systems using a plurality of control appliances
CN102227714A
Method system and simulation or analysis model for data processing
DE102008030881A1
Distributed embedded system synthesizing method for use in automobile industry, involves checking whether assignment of tasks to processes fulfills predefined time criteria, and calculating costs associated with assignment of tasks
DE102008030162A1
A method for checking the functionality of an embedded component in an embedded system
DE102008030163A1
Embedded system i.e. computer system, simulating method, involves simulating dynamic characteristics reacting with events by simulator core, and determining actually required execution times of program sequence on target system
DE102008030570A1
Application program flow controlling method for use in embedded hardware system, involves controlling flow of routines by flow control after ending of time limit of routines, based on execution time of routines and computing power
DE102008010600A1
A method for checking the functionality of an embedded component in an embedded system
EP2044541A2
Method for testing the real-time capability of a system
US2009112568A1
Method for Generating a Simulation Program Which Can Be Executed On a Host Computer
DE102005010580A1
Method for real-time analysis of a system
DE102004053979A1
Method for checking the real-time capability of a system