Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Author: S. Ramesh

Publisher: Springer Science & Business Media

ISBN: 9781402062544

Category: Technology & Engineering

Page: 300

View: 954

Get eBOOK →
This volume is the proceedings of a workshop organized by General Motors research and development laboratory in Bangalore, India. It was the first of its kind to be run by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. It covered all areas of embedded systems development.

Distributed Embedded Control Systems

Distributed Embedded Control Systems

Author: Matjaž Colnaric

Publisher: Springer Verlag

ISBN: 1848000510

Category: Computers

Page: 250

View: 103

Get eBOOK →
Very often, practical design of embedded systems lacks consistency resulting in computer control systems that do not provide the performance they should. Most notably they lack dependability, a key property now that programmed electronic devices are so pervasive, even in extremely safety-critical applications. Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control system as an integrated whole. First to be discussed are some basic issues about real-time systems and their properties, specifically safety. Then, system and hardware architectures are dealt with: areas like scheduling, asymmetrical distributed multiprocessor architectures, time-triggered communications, middleware, fault-tolerant peripherals, etc. Next, programming issues, embodying desired properties, basic language subsets, object orientation and language support for hardware and software specifications and co-design are elaborated and finally, the prototype implementation of a distributed embedded control system is given as a detailed example. Different audiences will find much of interest in this work: industrial professionals are given guidelines for the design of embedded hardware and software with fault tolerance that will help them to decide which methods, tools and solutions they should employ and to which features they should pay attention. Academics have a new source of solutions and further questions to stimulate research and it will also be informative for graduate students in electrical, control and computer engineering.

Distributed Embedded Control Systems

Distributed Embedded Control Systems

Author: Matjaž Colnaric

Publisher: Springer Science & Business Media

ISBN: 9781848000520

Category: Technology & Engineering

Page: 250

View: 856

Get eBOOK →
This fascinating new work comes complete with more than 100 illustrations and a detailed practical prototype. It explores the domains encountered when designing a distributed embedded computer control system as an integrated whole. Basic issues about real-time systems and their properties, especially safety, are examined first. Then, system and hardware architectures are dealt with, along with programming issues, embodying desired properties, basic language subsets, object orientation and language support for hardware and software specifications.

Distributed Embedded Controller Development with Petri Nets

Distributed Embedded Controller Development with Petri Nets

Author: Filipe de Carvalho Moutinho

Publisher: Springer

ISBN: 9783319208220

Category: Technology & Engineering

Page: 79

View: 403

Get eBOOK →
This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers. This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools. To support this development approach, the Petri nets class in use is extended with time-domains and asynchronous-channels. The authors’ approach uses models not only providing a better understanding of the distributed controller and improving the communication among the stakeholders, but also to be ready to support the entire lifecycle, including the simulation, the verification (using model-checking tools), the implementation (relying on automatic code generators), and the deployment of the distributed controller into specific platforms. Uses a graphical and intuitive modeling formalism supported by design automation tools; Enables verification, ensuring that the distributed controller was correctly specified; Provides flexibility in the implementation and maintenance phases to achieve desired constraints (high performance, low power consumption, reduced costs), enabling porting to different platforms using different communication nodes, without changing the underlying behavioral model.

From Model-Driven Design to Resource Management for Distributed Embedded Systems

From Model-Driven Design to Resource Management for Distributed Embedded Systems

Author: Bernd Kleinjohann

Publisher: Springer

ISBN: 9780387393629

Category: Computers

Page: 274

View: 692

Get eBOOK →
From Model-Driven Design to Resource Management for Distributed Embedded Systems presents 16 original contributions and 12 invited papers presented at the Working Conference on Distributed and Parallel Embedded Systems - DIPES 2006, sponsored by the International Federation for Information Processing - IFIP. Coverage includes model-driven design, testing and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.

Distributed Embedded Systems: Design, Middleware and Resources

Distributed Embedded Systems: Design, Middleware and Resources

Author: Bernd Kleinjohann

Publisher: Springer Science & Business Media

ISBN: 9780387096605

Category: Computers

Page: 236

View: 879

Get eBOOK →
This year, the IFIP Working Conference on Distributed and Parallel Embedded Sys tems (DIPES 2008) is held as part of the IFIP World Computer Congress, held in Milan on September 7 10, 2008. The embedded systems world has a great deal of experience with parallel and distributed computing. Many embedded computing systems require the high performance that can be delivered by parallel computing. Parallel and distributed computing are often the only ways to deliver adequate real time performance at low power levels. This year’s conference attracted 30 submissions, of which 21 were accepted. Prof. Jor ̈ g Henkel of the University of Karlsruhe graciously contributed a keynote address on embedded computing and reliability. We would like to thank all of the program committee members for their diligence. Wayne Wolf, Bernd Kleinjohann, and Lisa Kleinjohann Acknowledgements We would like to thank all people involved in the organization of the IFIP World Computer Congress 2008, especially the IPC Co Chairs Judith Bishop and Ivo De Lotto, the Organization Chair Giulio Occhini, as well as the Publications Chair John Impagliazzo. Further thanks go to the authors for their valuable contributions to DIPES 2008. Last but not least we would like to acknowledge the considerable amount of work and enthusiasm spent by our colleague Claudius Stern in preparing theproceedingsofDIPES2008. Hemadeitpossibletoproducethemintheircurrent professional and homogeneous style.

Design and Analysis of Distributed Embedded Systems

Design and Analysis of Distributed Embedded Systems

Author: Bernd Kleinjohann

Publisher: Springer Science & Business Media

ISBN: 1402071566

Category: Computers

Page: 306

View: 789

Get eBOOK →
Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks.

Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility

Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility

Author: Khalgui, Mohamed

Publisher: IGI Global

ISBN: 9781609600884

Category: Computers

Page: 652

View: 445

Get eBOOK →
"This book addresses the development of reconfigurable embedded control systems and describes various problems in this important research area, which include static and dynamic (manual or automatic) reconfigurations, multi-agent architectures, modeling and verification, component-based approaches, architecture description languages, distributed reconfigurable architectures, real-time and low power scheduling, execution models, and the implementation of such systems"--

Design Methods and Applications for Distributed Embedded Systems

Design Methods and Applications for Distributed Embedded Systems

Author: Bernd Kleinjohann

Publisher: Springer

ISBN: 9781402081491

Category: Computers

Page: 326

View: 582

Get eBOOK →
The IFIP TC-10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) brings together experts from industry and academia to discuss recent developments in this important and growing field in the splendid city of Toulouse, France. The ever decreasing price/performance ratio of microcontrollers makes it economically attractive to replace more and more conventional mechanical or electronic control systems within many products by embedded real-time computer systems. An embedded real-time computer system is always part of a well-specified larger system, which we call an intelligent product. Although most intelligent products start out as stand-alone units, many of them are required to interact with other systems at a later stage. At present, many industries are in the middle of this transition from stand-alone products to networked embedded systems. This transition requires reflection and architecting: The complexity of the evolving distributed artifact can only be controlled, if careful planning and principled design methods replace the - hoc engineering of the first version of many standalone embedded products.

Analysis, Design, and Optimization of Embedded Control Systems

Analysis, Design, and Optimization of Embedded Control Systems

Author: Amir Aminifar

Publisher: Linköping University Electronic Press

ISBN: 9789176858264

Category: Control systems

Page: 155

View: 103

Get eBOOK →
Today, many embedded or cyber-physical systems, e.g., in the automotive domain, comprise several control applications, sharing the same platform. It is well known that such resource sharing leads to complex temporal behaviors that degrades the quality of control, and more importantly, may even jeopardize stability in the worst case, if not properly taken into account. In this thesis, we consider embedded control or cyber-physical systems, where several control applications share the same processing unit. The focus is on the control-scheduling co-design problem, where the controller and scheduling parameters are jointly optimized. The fundamental difference between control applications and traditional embedded applications motivates the need for novel methodologies for the design and optimization of embedded control systems. This thesis is one more step towards correct design and optimization of embedded control systems. Offline and online methodologies for embedded control systems are covered in this thesis. The importance of considering both the expected control performance and stability is discussed and a control-scheduling co-design methodology is proposed to optimize control performance while guaranteeing stability. Orthogonal to this, bandwidth-efficient stabilizing control servers are proposed, which support compositionality, isolation, and resource-efficiency in design and co-design. Finally, we extend the scope of the proposed approach to non-periodic control schemes and address the challenges in sharing the platform with self-triggered controllers. In addition to offline methodologies, a novel online scheduling policy to stabilize control applications is proposed.

Architecture and Design of Distributed Embedded Systems

Architecture and Design of Distributed Embedded Systems

Author: Bernd Kleinjohann

Publisher: Springer

ISBN: 9780387354095

Category: Computers

Page: 238

View: 845

Get eBOOK →
Due to the decreasing production costs of IT systems, applications that had to be realised as expensive PCBs formerly, can now be realised as a system-on-chip. Furthermore, low cost broadband communication media for wide area communication as well as for the realisation of local distributed systems are available. Typically the market requires IT systems that realise a set of specific features for the end user in a given environment, so called embedded systems. Some examples for such embedded systems are control systems in cars, airplanes, houses or plants, information and communication devices like digital TV, mobile phones or autonomous systems like service- or edutainment robots. For the design of embedded systems the designer has to tackle three major aspects: The application itself including the man-machine interface, The (target) architecture of the system including all functional and non-functional constraints and, the design methodology including modelling, specification, synthesis, test and validation. The last two points are a major focus of this book. This book documents the high quality approaches and results that were presented at the International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), which was sponsored by the International Federation for Information Processing (IFIP), and organised by IFIP working groups WG10.3, WG10.4 and WG10.5. The workshop took place on October 18-19, 2000, in Schloß Eringerfeld near Paderborn, Germany. Architecture and Design of Distributed Embedded Systems is organised similar to the workshop. Chapters 1 and 4 (Methodology I and II) deal with different modelling and specification paradigms and the corresponding design methodologies. Generic system architectures for different classes of embedded systems are presented in Chapter 2. In Chapter 3 several design environments for the support of specific design methodologies are presented. Problems concerning test and validation are discussed in Chapter 5. The last two chapters include distribution and communication aspects (Chapter 6) and synthesis techniques for embedded systems (Chapter 7). This book is essential reading for computer science researchers and application developers.