Handbook of Research on Embedded Systems Design

Handbook of Research on Embedded Systems Design

Alessandra Bagnato (Softeam R&D, France), Leandro Soares Indrusiak (University of York, UK), Imran Rafiq Quadri (Softeam R&D, France) and Matteo Rossi (Politecnico di Milano, Italy)
Indexed In: INSPEC, SCOPUS View 1 More Indices
Release Date: June, 2014|Copyright: © 2014 |Pages: 520
ISBN13: 9781466661943|ISBN10: 1466661941|EISBN13: 9781466661950|DOI: 10.4018/978-1-4666-6194-3

Description

As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor synergy between development teams will arise.

The Handbook of Research on Embedded Systems Design provides insights from the computer science community on integrated systems research projects taking place in the European region. This premier references work takes a look at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases. This work will be invaluable to designers of embedded software, academicians, students, practitioners, professionals, and researchers working in the computer science industry.

Topics Covered

The many academic areas covered in this publication include, but are not limited to:

  • Automotive Architectures
  • Collaborative Development of Dependable Cyber-Physical Systems
  • DRE Defense Systems
  • Embedded Virtualization Techniques
  • FoReVer Contract-Based Approach
  • Hardware Fault Tolerance
  • High Level SysML/MARTE Methodology
  • Individualized Transit Indicators
  • Symbolic-Based Monitoring
  • UML MARTE Time Model

Reviews and Testimonials

Computer scientists and electrical engineers offer a broad reference to the design of embedded computer systems as it is practiced in both academic and commercial contexts. Writing for system designers and developers and students, they discuss such topics as designing resource-constrained embedded heterogeneous systems to cope with variability, vulnerabilities of secure and reliable low-power embedded systems and their analysis method, a model-driven engineering method for analyzing and predicting the performance of distributed real-time embedded defense systems, studying individualized transit indicators using a new low-cost information system, and framework-based debugging for embedded systems.

– ProtoView Book Abstracts (formerly Book News, Inc.)

Table of Contents and List of Contributors

Search this Book:
Reset

Author(s)/Editor(s) Biography

Alessandra Bagnato is a research scientist and project manager within the SOFT R&D Department. She holds a Ph.D. degree in Computer Science from TELECOM SudParis and Université Evry Val d'Essonne, France and a MSc in Computer Science from the University of Genoa, Italy. She has been at TXT Corporate Research Division headquartered in Milan from 1999 till September 2012 as Project Coordinator, Project Manager and/or Technical Leader in several European research projects in the 5th, 6th and 7th Framework Programme related to embedded systems design, software/service development and security. In SOFT, she lead the Exploitation efforts within the FITTEST (Future Internet Testing) project and she is currently involved in the FP7 project OSSMETER (Automated Measurement and Analysis of Open Source Software) funded by European Commission for the improvement of the state-of-the-art in the field of automated analysis and measurement of open-source software and MONDO (Scalable Modelling and Model Management on the Cloud).
Leandro Soares Indrusiak was born in 1974 in Santa Maria, RS, Brazil. He graduated in Electrical Engineering from the Federal University of Santa Maria (UFSM) in 1995 and obtained a MSc in Computer Science from the Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, in 1998. He held a tenured assistant professorship at the Informatics department of the Catholic University of Rio Grande do Sul (PUCRS) in Uruguaiana from 1998 to 2000. His PhD research started in 2000 and extended his MSc work on design automation environments for microelectronic circuits. From 2001 to 2008 he worked as a researcher at the Technische Universität Darmstadt, Darmstadt, Germany, where he finished his PhD and then lead a research group on System-on-Chip design. His binational doctoral degree was jointly awarded by UFRGS and TU Darmstadt in 2003. Since 2008, he is a permanent faculty member of University of York's Computer Science department (Lecturer 2008, Senior Lecturer 2013), and a member of the Real-Time Systems (RTS) research group. His current research interests include on-chip multiprocessor systems, distributed embedded systems, mapping and scheduling of applications over multiprocessor and distributed platforms, adaptive and reconfigurable computing. He currently supervises nine PhD students and two post-doc research assistants, and is always keen to discuss about open problems with potential PhD candidates. He is the principal investigator and technical leader of EPSRC-funded LowPowNoC project and EU-funded DreamCloud project, and a co-investigator in a number of other funded projects. He also coordinates two MSc programmes (MSc in Computing and MSc in Information Technology), serves as the department's Internationalisation Advisor, and is a Senior Member of the IEEE.
Imran Rafiq Quadri has a deep understanding of Embedded Systems and Model-Driven Engineering. He holds a PhD degree in real-time and embedded systems from University Lille 1, Lille-France. In parallel, he was a Research/Teaching Associate at University Lille 1 teaching at undergraduate and Master’s levels, and carried out research activities in a French national ANR FAMOUS project. His expertise and interests lie in real-time and embedded systems; systems engineering; model-driven technologies such as UML and related profiles: SysML, MARTE; execution platforms such as dynamically reconfigurable FPGA based System-on-Chips or SoCs.
Matteo Rossi is an assistant professor at Politecnico di Milano. His research interests are mainly in formal methods for safety-critical and real-time systems, with particular reference to architectures for real-time distributed systems. He has previously participated in several national and international projects, including MADES and Green Move. He was the co-chair of the Student Contest on Software Engineering (SCORE), part of the 33rd International Conference in Software Engineering.

Indices