Advanced Tool Integration for Embedded System Assurances
Abstract
The goal of the project is to develop a principled, model-based, and tool-supported approach to design and implementation of embedded systems with high assurance of reliability. Embedded systems consist of a collection of components that interact with each other and with their environment through sensors and actuators. Embedded systems are characterized by the nature of resource limitations and constraints that need to be considered during development and deployment. Embedded systems have been developed traditionally in an ad-hoc manner by practicing engineers and programmers. We have developed a framework for the integration of a suite of methods and tools for the specification, analysis, development, testing, prototyping, simulation and monitoring of embedded software. The framework is called HASTEN (High Assurance Systems Tools and Environments) and is based on Systems that support formal specification and verification, test generation from specifications, prototyping and simulation, and run-time monitoring and checking. The technical approach uses mathematical foundations of hybrid systems theory that combines tools from control theory (optimal control, dynamical systems) and software engineering (concurrency, compositionality, model checking).
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 2006
- Accession Number
- ADA459299
Entities
People
- Insup Lee
Organizations
- University of Pennsylvania