The ability to include models as submodels inside other models.
event
Submitted by Katie Dey on Mon, 02/09/2015 - 12:16pm
A world class community of researchers will gather in Annapolis, MD for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life-, safety-, security-, and mission-critical systems.
file
Abstract:
The verification of hybrid systems requires ways of handling both the discrete and continuous dynamics, e.g., by proofs, abstraction, or approximation. Fundamentally, however, the study of the safety of hybrid systems can be shown to reduce constructively to the problem of generating invariants for their differ- ential equations. We recently focused on this core problem. We study the case of algebraic invariant equation, i.e. invariants described by a polynomial equation of the form p = 0 for a polynomial p.
file
Abstract:
The objective of this project is to develop a science of integration for cyber physical systems (CPS). The proposed research program has three focus areas: (1) foundations, (2) tools and tool architectures, (3) systems/experimental research. The project has pushed along several frontiers towards these overall objectives. In the following, we describe selected accomplishments:
file
Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially thepatient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:
file
Abstract
This presentation describes a framework for understanding the hard problem of Composability in the setting of security, along with highlights of lablet research results illustrating recent progress in this area and remaining research challenges.
event
Submitted by clarksmr on Mon, 07/14/2014 - 10:38am
Computer security is an established field of computer science of both theoretical and practical significance.
