Berkeley ELENG C249A - From Models to Code - The Missing Link in Embedded Software (59 pages)

Previewing pages 1, 2, 3, 4, 27, 28, 29, 30, 56, 57, 58, 59 of 59 page document View the full content.
View Full Document

From Models to Code - The Missing Link in Embedded Software



Previewing pages 1, 2, 3, 4, 27, 28, 29, 30, 56, 57, 58, 59 of actual document.

View the full content.
View Full Document
View Full Document

From Models to Code - The Missing Link in Embedded Software

78 views


Pages:
59
School:
University of California, Berkeley
Course:
Eleng C249a - Introduction to Embedded Systems
Introduction to Embedded Systems Documents

Unformatted text preview:

From Models to Code The Missing Link in Embedded Software Tom Henzinger University of California Berkeley Joint work with Ben Horowitz and Christoph Kirsch The History of Computer Science Lifting the Level of Abstraction High level languages Programming to the application The assembly age Programming to the platform Compilation perhaps the success story of computer It isscience feasible to abstract the platform The History of Computer Science Lifting the Level of Abstraction Automatic program synthesis No more programming High level languages Programming to the application The assembly age Programming to the platform Code generation from specifications still mostly It is not yet feasible a dream to abstract algorithms Compilation perhaps the success story of computer It isscience feasible to abstract the platform Current Practice in Control Software Some automatic code generation from models often inefficient Some manual programming to the platform difficult to reuse difficult to verify requires systems experts often unpredictable Current Practice in Control Software Some automatic code generation from models often inefficient often unpredictable The missing link platform independent software Some manual programming to the platform difficult to reuse difficult to verify requires systems experts Advocated Practice in Control Software Mathematical model e g Simulink HyTech Control engineer Platform independent software e g Giotto Compiler Executable code for a specific platform verifiable reusable efficiently implementable Current Control Software Development Mathematical Model e g Simulink HyTech Platform Constraints hardware configuration RTOS scheduling algorithm network protocol CONCURRENCY ENVIRONMENT TIME DISTRIBUTION some automatic code generation some manual code optimization Executable Code PLATFORM TIME Current Control Software Development Mathematical Model Platform Constraints Problems close correspondence between model and code is lost with code



View Full Document

Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view From Models to Code - The Missing Link in Embedded Software and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view From Models to Code - The Missing Link in Embedded Software and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?