Institute for Software Integrated Systems Vanderbilt University Constraint-Based Embedded Program Composition PI: Ted Bapty Sandeep Neema, Andy Gokhale, Jeff Gray Institute for Software Integrated Systems Vanderbilt University http://www.isis.vanderbilt.edu/projects/ pces
26
Embed
Institute for Software Integrated Systems Vanderbilt University Constraint-Based Embedded Program Composition PI: Ted Bapty Sandeep Neema, Andy Gokhale,
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Institute for Software Integrated SystemsVanderbilt University
Constraint-Based Embedded Program
CompositionPI: Ted Bapty
Sandeep Neema, Andy Gokhale, Jeff GrayInstitute for Software Integrated Systems
Problem Description• Composition of Embedded Systems
– Close Coupling of Environment, Architecture & Requirements– All Requirements (Functional, Temporal, Interface, Resources) MUST be
satisfied.– How do we represent & maintain these requirements?
• Requirements Map to Constraints on System Implementation– Many Constraints Crosscutting the Design– Complex mapping from high-level requirements to constraints– How do we perform the mapping, distributing requirements?
• Need for flexibility to rapidly deploy designs to families of applications– How can we use constraints to adapt a core design to specific
application instances?– How can we provide better scalability?– OMG MDA
Project Objectives
• Create domain-specific, graphical languages that capture the functional design of real-time embedded systems– BBN UAV– Boeing Bold Stroke/CCM
• A weaving process that maps high-level invariant properties and system requirements to design constraints affecting specific model regions,
• A generation process that:– design space nav. -> customized component
composition– generate CDL; simulate/verify effects of contracts
Contribution To PCES• “analysis and transformation tools that achieve and preserve
required properties”– The mapping of requirements to constraints will contribute to the
achievement of system properties in the implementation.– OBDD-based constraint management
• “composition techniques that can be used cooperatively to support real-time programming”– Modeling component composition from requirements
• “programming reusable and portable aspect code”– Reusable libraries of weavers/aspects composing advice based on
system and application requirements to customize product family design
• “engineering approaches that can greatly reduce effort to program embedded systems”– Strategies for creating contracts & CDL generation
Contribution to Relevant Military Applications
• BBN UAV– Generation and management of complex behaviors (e.g., contracts)
• Systems are more adaptive to changing conditions• Systems make better use of resources to accomplish mission
– Evaluation/simulation of system behavior• System behavior known before deployment• More reliable systems, less chance of failure in ‘odd’ circumstances