The ASSERT project at UPM
|[Downloads | Documents and technical notes]|
The ASSERT project
ASSERT (Automated proof based System and Software Engineering for Real-Time ) is an integrated project (IP) co-sponsored by the European Commission under the Information Society Technology (IST) priority within the 6th Framework Programme (FP6). The project addresses the strategic objective of Embedded Systems.
The ASSERT main goal is to improve the system-and-software development process for critical embedded real-time systems, in the Aerospace and Transportation domains by:
UPM role in ASSERT
UPM is one of the key partners in the DDHRT (Dependability, Distribution, and Hard Real-Time) cluster of the ASSERT project. The research activity of the cluster is aimed at developing new concepts and tools for developing the kind of complex, depenedable, distributed hard real-time systems envisaged in the ASSERT project. The most visible result of the UPM team is the development of the ASSERT Virtual Machine Kernel.
UPM Documents and technical notes (ASSERT partners only)
The ASSERT Virtual Machine
The ASSERT Virtual Machine is a specialized run-time environment for the execution of high integrity, distributed hard rea-time applications, based on the Ravenscar computational model. It has three main components:
Download the VM software (ASSERT partners only)
Copyright © 2006–2008, UPM
Updated on January 7, 2008. Report problems to the webmaster.