01overview - Advanced Tool Integration for Embedded Systems...

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
5/24/01 1 Advanced Tool Integration for Embedded Systems Assurance Insup Lee Department of Computer and Information Science University of Pennsylvania
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
5/24/01 2 SDRL & RTG University of Pennsylvania People University of Pennsylvania Rajeev Alur Carl A. Gunter Sampath Kannan Insup Lee (PI) Oleg Sokolsky George Southern University Robert P. Cook New Jersey Institute of Technology Elsa Gunter University of Michigan Kang G. Shin
Background image of page 2
5/24/01 3 SDRL & RTG University of Pennsylvania Embedded Systems Difficulties Increasing complexity Decentralized Safety critical Resource constrained Non-functional: power, size, etc. Development of reliable and robust embedded software Increased development cost implies greater emphasis on reuse
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
5/24/01 4 SDRL & RTG University of Pennsylvania Properties of embedded systems Adherence to safety-critical properties  Meeting timing constraints Satisfaction of resource constraints Confinement of resource accesses Supporting fault tolerance Domain specific requirements Mobility Software configuration
Background image of page 4
5/24/01 5 SDRL & RTG University of Pennsylvania Goals of the HASTEN Project High Assurance Systems Tools and ENvironments (HASTEN) Develop tools for “end-to-end” software engineering Requirements capture Specification, analysis, simulation Implementation testing Deployed system monitoring and checking Integrated use of tools Vertical integration Horizontal integration Case studies automotive controllers, mobile robots, medical devices, real-time Java, embedded  Linux
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
5/24/01 6 SDRL & RTG
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 14

01overview - Advanced Tool Integration for Embedded Systems...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online