Formal Methods for Object and Component Systems	Research Projects	Software Testing	UNU-IIST Home
Design Techniques for Real-time Embedded Systems

II/1/1/6 Design Techniques for Real-time Embedded Systems

This is a development from project II/1/1/1. The following new aspects will be investigated:

1. Component-based architecting and distribution of components

2. Schedulability analysis based resource usage of components and resource constraints

3. Performance enhancement with introducing more concurrency and reduction of blocking times

4. Combination between real-time UML and formal techniques for real-time embedded systems development that have been developed in the previous stage of the project II/1/1/1 in UNU-IIST

The expected achievement of the project includes the algorithms, procedures for the optimisation of resource usage, distribution of components and reduction of blocking times. The performance enhancement technique will be a complement for the technique developed earlier for deriving an OCCAM program from detailed DC design.

Design Techniques for Real-time Embedded Systems
Formal Methods for Object and Component Systems	Research Projects	Software Testing	UNU-IIST Home