spfsosSoftware Producibility for Systems of Systems
This three-phase, three-year project, funded by the U.S. Naval Research Laboratory in conjunction with the Office of the Secretary of Defense is focused on techniques supporting model-based design of complex, heterogeneous, software-intensive systems. These techniques directly confront the heterogeneity of cyber-physical systems (CPSs) by embracing models of physical dynamics, temporal behavior, software, and networks.
There are two distinct approaches to modeling heterogeneous systems:
The approach taken in the project is to leverage well-understood concurrent models of computation (MoCs) with rigorous semantics; to compose such MoCs heterogeneously using the notion of an abstract semantics; to embrace hybrid models that combine the continuous dynamics of the physical world with the discrete dynamics of software and networks; to leverage type theoretic ontologies and behavioral type systems to ensure correct composition of heterogeneous components; to link models of behavior to models of implementations through the notion of quantity managers; to leverage semantics-preserving transformations to synthesize implementations from models; and to drive and test all ideas with carefully selected application studies.
The proposed project builds on some preliminary work done under the Berkeley project entitled Scalable Composition of Subsystems (SCOS) (agreement W911NF-07-2-0019 dated February 12, 2007), and Disciplined Design of Systems of Systems (agreement W911NF- 11-2-0038 dated August 15, 2011), funded by the Army Research Laboratory in connection with the Software-Intensive Systems Producibility Initiative (SISPI). This proposed project will build on results from these earlier project and help identify which of the results are sufficiently mature for transition into industrial practice, which require further research investment, and which should be abandoned.
"Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Office of Naval Research."
This group has the following subpages:
|You are not logged in|