Abstract

Embedded system technology has become an important, if not dominating component in the realization of all sorts of high-tech products, machines, and infrastructures. The temptation to create systems with new, powerful, intelligent features has turned embedded software into an essential high-tech ingredient that, exploiting the hardware capabilities afforded by Moore’s law, is subject to exponential growth. As has been pointed out by many authors before, the complexity of the embedded software is not just a product of its growing size, but also results from the required relation between the software and its physical environment, both in terms of its execution on physical platforms and in its interaction with the system environment. This combination of digital control and physical phenomena makes it plausible that hybrid modelling and hybrid systems theory have a role to play in the design of embedded systems. Last year Henzinger and Sifakis (The Embedded Systems Design Challenge) suggested that we need the development of more physically informed models of computation combining analytical and constructive elements. This would provide a more fundamental basis for embedded systems design, as well as provide a much needed paradigmatic change for computer science. Being in principle sympathetic to the proposed programme from a scientific point of view, in this talk we want to examine what are the most pressing problems from an engineering point of view, in particular from the overall system perspective. The software complexity of high-tech systems is often related to the system integration, and not to the embedded software of individual components. The interpretation of the required integral functionality usually includes engineering disciplines beyond those related to hardware, software, and control, with particular methods, models, and tools. It remains to be seen whether deep (i.e. at the semantic level) integration of relevant models and methods will ultimately outperform more loosely coupled coalitions of specialized approaches that are closer to the cultures of the contributing disciplines. Another practically dominant concern often is the sheer size of the collective system software. Alternative approaches to design, therefore, must scale up and support the management of large quantities of design software (programs, models, specifications, etc.). In our presentation we will draw on a number of big industry-as-laboratory projects carried out by the Embedded Systems Institute.
Original languageEnglish
Title of host publicationHybrid Systems: Computation and Control
Subtitle of host publication10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
EditorsAlberto Bemporad, Antonio Bicchi, Giorgio Buttazzo
Place of PublicationBerlin
PublisherSpringer
Pages3-3
ISBN (Electronic)978-3-540-71493-4
ISBN (Print)978-3-540-71492-7
DOIs
StatePublished - 3 Apr 2007
Event10th International Workshop on Hybrid Systems: Computation and Control, HSCC 2007 - Pisa, Italy

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Number7
Volume4416
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Workshop

Workshop10th International Workshop on Hybrid Systems: Computation and Control, HSCC 2007
Abbreviated titleHSCC
CountryItaly
CityPisa
Period3/04/075/04/07

Fingerprint

Embedded systems
Embedded software
Systems analysis
Hardware
System theory
Software design
Systems engineering
Hybrid systems
Computer science
Semantics
Specifications
Industry

Keywords

  • EWI-11781
  • METIS-245964
  • IR-62131
  • FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

Cite this

Brinksma, E. (2007). The Challenges of Embedded Systems Engineering. In A. Bemporad, A. Bicchi, & G. Buttazzo (Eds.), Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings (pp. 3-3). (Lecture Notes in Computer Science; Vol. 4416, No. 7). Berlin: Springer. DOI: 10.1007/978-3-540-71493-4_3

Brinksma, Ed / The Challenges of Embedded Systems Engineering.

Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings. ed. / Alberto Bemporad; Antonio Bicchi; Giorgio Buttazzo. Berlin : Springer, 2007. p. 3-3 (Lecture Notes in Computer Science; Vol. 4416, No. 7).

Research output: Scientific - peer-reviewConference contribution

@inbook{d22c83dbc3a9421ea5bd003f7c52332d,
title = "The Challenges of Embedded Systems Engineering",
abstract = "Embedded system technology has become an important, if not dominating component in the realization of all sorts of high-tech products, machines, and infrastructures. The temptation to create systems with new, powerful, intelligent features has turned embedded software into an essential high-tech ingredient that, exploiting the hardware capabilities afforded by Moore’s law, is subject to exponential growth. As has been pointed out by many authors before, the complexity of the embedded software is not just a product of its growing size, but also results from the required relation between the software and its physical environment, both in terms of its execution on physical platforms and in its interaction with the system environment. This combination of digital control and physical phenomena makes it plausible that hybrid modelling and hybrid systems theory have a role to play in the design of embedded systems. Last year Henzinger and Sifakis (The Embedded Systems Design Challenge) suggested that we need the development of more physically informed models of computation combining analytical and constructive elements. This would provide a more fundamental basis for embedded systems design, as well as provide a much needed paradigmatic change for computer science. Being in principle sympathetic to the proposed programme from a scientific point of view, in this talk we want to examine what are the most pressing problems from an engineering point of view, in particular from the overall system perspective. The software complexity of high-tech systems is often related to the system integration, and not to the embedded software of individual components. The interpretation of the required integral functionality usually includes engineering disciplines beyond those related to hardware, software, and control, with particular methods, models, and tools. It remains to be seen whether deep (i.e. at the semantic level) integration of relevant models and methods will ultimately outperform more loosely coupled coalitions of specialized approaches that are closer to the cultures of the contributing disciplines. Another practically dominant concern often is the sheer size of the collective system software. Alternative approaches to design, therefore, must scale up and support the management of large quantities of design software (programs, models, specifications, etc.). In our presentation we will draw on a number of big industry-as-laboratory projects carried out by the Embedded Systems Institute.",
keywords = "EWI-11781, METIS-245964, IR-62131, FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS",
author = "Ed Brinksma",
year = "2007",
month = "4",
doi = "10.1007/978-3-540-71493-4_3",
isbn = "978-3-540-71492-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "7",
pages = "3--3",
editor = "Alberto Bemporad and Antonio Bicchi and Giorgio Buttazzo",
booktitle = "Hybrid Systems: Computation and Control",

}

Brinksma, E 2007, The Challenges of Embedded Systems Engineering. in A Bemporad, A Bicchi & G Buttazzo (eds), Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings. Lecture Notes in Computer Science, no. 7, vol. 4416, Springer, Berlin, pp. 3-3, 10th International Workshop on Hybrid Systems: Computation and Control, HSCC 2007, Pisa, Italy, 3-5 April. DOI: 10.1007/978-3-540-71493-4_3

The Challenges of Embedded Systems Engineering. / Brinksma, Ed.

Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings. ed. / Alberto Bemporad; Antonio Bicchi; Giorgio Buttazzo. Berlin : Springer, 2007. p. 3-3 (Lecture Notes in Computer Science; Vol. 4416, No. 7).

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

T1 - The Challenges of Embedded Systems Engineering

AU - Brinksma,Ed

PY - 2007/4/3

Y1 - 2007/4/3

N2 - Embedded system technology has become an important, if not dominating component in the realization of all sorts of high-tech products, machines, and infrastructures. The temptation to create systems with new, powerful, intelligent features has turned embedded software into an essential high-tech ingredient that, exploiting the hardware capabilities afforded by Moore’s law, is subject to exponential growth. As has been pointed out by many authors before, the complexity of the embedded software is not just a product of its growing size, but also results from the required relation between the software and its physical environment, both in terms of its execution on physical platforms and in its interaction with the system environment. This combination of digital control and physical phenomena makes it plausible that hybrid modelling and hybrid systems theory have a role to play in the design of embedded systems. Last year Henzinger and Sifakis (The Embedded Systems Design Challenge) suggested that we need the development of more physically informed models of computation combining analytical and constructive elements. This would provide a more fundamental basis for embedded systems design, as well as provide a much needed paradigmatic change for computer science. Being in principle sympathetic to the proposed programme from a scientific point of view, in this talk we want to examine what are the most pressing problems from an engineering point of view, in particular from the overall system perspective. The software complexity of high-tech systems is often related to the system integration, and not to the embedded software of individual components. The interpretation of the required integral functionality usually includes engineering disciplines beyond those related to hardware, software, and control, with particular methods, models, and tools. It remains to be seen whether deep (i.e. at the semantic level) integration of relevant models and methods will ultimately outperform more loosely coupled coalitions of specialized approaches that are closer to the cultures of the contributing disciplines. Another practically dominant concern often is the sheer size of the collective system software. Alternative approaches to design, therefore, must scale up and support the management of large quantities of design software (programs, models, specifications, etc.). In our presentation we will draw on a number of big industry-as-laboratory projects carried out by the Embedded Systems Institute.

AB - Embedded system technology has become an important, if not dominating component in the realization of all sorts of high-tech products, machines, and infrastructures. The temptation to create systems with new, powerful, intelligent features has turned embedded software into an essential high-tech ingredient that, exploiting the hardware capabilities afforded by Moore’s law, is subject to exponential growth. As has been pointed out by many authors before, the complexity of the embedded software is not just a product of its growing size, but also results from the required relation between the software and its physical environment, both in terms of its execution on physical platforms and in its interaction with the system environment. This combination of digital control and physical phenomena makes it plausible that hybrid modelling and hybrid systems theory have a role to play in the design of embedded systems. Last year Henzinger and Sifakis (The Embedded Systems Design Challenge) suggested that we need the development of more physically informed models of computation combining analytical and constructive elements. This would provide a more fundamental basis for embedded systems design, as well as provide a much needed paradigmatic change for computer science. Being in principle sympathetic to the proposed programme from a scientific point of view, in this talk we want to examine what are the most pressing problems from an engineering point of view, in particular from the overall system perspective. The software complexity of high-tech systems is often related to the system integration, and not to the embedded software of individual components. The interpretation of the required integral functionality usually includes engineering disciplines beyond those related to hardware, software, and control, with particular methods, models, and tools. It remains to be seen whether deep (i.e. at the semantic level) integration of relevant models and methods will ultimately outperform more loosely coupled coalitions of specialized approaches that are closer to the cultures of the contributing disciplines. Another practically dominant concern often is the sheer size of the collective system software. Alternative approaches to design, therefore, must scale up and support the management of large quantities of design software (programs, models, specifications, etc.). In our presentation we will draw on a number of big industry-as-laboratory projects carried out by the Embedded Systems Institute.

KW - EWI-11781

KW - METIS-245964

KW - IR-62131

KW - FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

U2 - 10.1007/978-3-540-71493-4_3

DO - 10.1007/978-3-540-71493-4_3

M3 - Conference contribution

SN - 978-3-540-71492-7

T3 - Lecture Notes in Computer Science

SP - 3

EP - 3

BT - Hybrid Systems: Computation and Control

PB - Springer

ER -

Brinksma E. The Challenges of Embedded Systems Engineering. In Bemporad A, Bicchi A, Buttazzo G, editors, Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings. Berlin: Springer. 2007. p. 3-3. (Lecture Notes in Computer Science; 7). Available from, DOI: 10.1007/978-3-540-71493-4_3