The Experts below are selected from a list of 1658994 Experts worldwide ranked by ideXlab platform
Rajeev Joshi - One of the best experts on this subject based on the ideXlab platform.
-
VSTTE - Reliable Software Systems Design: Defect Prevention, Detection, and Containment
Verified Software: Theories Tools Experiments, 2008Co-Authors: Gerard J Holzmann, Rajeev JoshiAbstract:The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the number of residual defects in software products. Reducing residual defects is of course not in itself the objective of this exercise; the true objective is to reduce the number of failuresin the use of software products. Or in other words: the objective is the development of a methodology for "reliable software Systems Design."
-
reliable software Systems Design defect prevention detection and containment
Verified Software: Theories Tools Experiments, 2005Co-Authors: Gerard J Holzmann, Rajeev JoshiAbstract:The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the number of residual defects in software products. Reducing residual defects is of course not in itself the objective of this exercise; the true objective is to reduce the number of failuresin the use of software products. Or in other words: the objective is the development of a methodology for "reliable software Systems Design."
Seppo J. Ovaska - One of the best experts on this subject based on the ideXlab platform.
-
real time Systems Design and analysis tools for the practitioner
2011Co-Authors: Phillip A. Laplante, Seppo J. OvaskaAbstract:The leading text in the field explains step by step how to write software that responds in real timeFrom power plants to medicine to avionics, the world increasingly depends on computer Systems that can compute and respond to various excitations in real time. The Fourth Edition of Real-Time Systems Design and Analysis gives software Designers the knowledge and the tools needed to create real-time software using a holistic, Systems-based approach. The text covers computer architecture and organization, operating Systems, software engineering, programming languages, and compiler theory, all from the perspective of real-time Systems Design.The Fourth Edition of this renowned text brings it thoroughly up to date with the latest technological advances and applications. This fully updated edition includes coverage of the following concepts:Multidisciplinary Design challengesTime-triggered architecturesArchitectural advancementsAutomatic code generationPeripheral interfacingLife-cycle processesThe final chapter of the text offers an expert perspective on the future of real-time Systems and their applications.The text is self-contained, enabling instructors and readers to focus on the material that is most important to their needs and interests. Suggestions for additional readings guide readers to more in-depth discussions on each individual topic. In addition, each chapter features exercises ranging from simple to challenging to help readers progressively build and fine-tune their ability to Design their own real-time software programs.Now fully up to date with the latest technological advances and applications in the field, Real-Time Systems Design and Analysis remains the top choice for students and software engineers who want to Design better and faster real-time Systems at minimum cost.
-
Real-Time Systems Design and Analysis: Tools for the Practitioner - Real-Time Systems Design and Analysis: Tools for the Practitioner
2011Co-Authors: Phillip A. Laplante, Seppo J. OvaskaAbstract:The leading text in the field explains step by step how to write software that responds in real timeFrom power plants to medicine to avionics, the world increasingly depends on computer Systems that can compute and respond to various excitations in real time. The Fourth Edition of Real-Time Systems Design and Analysis gives software Designers the knowledge and the tools needed to create real-time software using a holistic, Systems-based approach. The text covers computer architecture and organization, operating Systems, software engineering, programming languages, and compiler theory, all from the perspective of real-time Systems Design.The Fourth Edition of this renowned text brings it thoroughly up to date with the latest technological advances and applications. This fully updated edition includes coverage of the following concepts:Multidisciplinary Design challengesTime-triggered architecturesArchitectural advancementsAutomatic code generationPeripheral interfacingLife-cycle processesThe final chapter of the text offers an expert perspective on the future of real-time Systems and their applications.The text is self-contained, enabling instructors and readers to focus on the material that is most important to their needs and interests. Suggestions for additional readings guide readers to more in-depth discussions on each individual topic. In addition, each chapter features exercises ranging from simple to challenging to help readers progressively build and fine-tune their ability to Design their own real-time software programs.Now fully up to date with the latest technological advances and applications in the field, Real-Time Systems Design and Analysis remains the top choice for students and software engineers who want to Design better and faster real-time Systems at minimum cost.
Gerard J Holzmann - One of the best experts on this subject based on the ideXlab platform.
-
VSTTE - Reliable Software Systems Design: Defect Prevention, Detection, and Containment
Verified Software: Theories Tools Experiments, 2008Co-Authors: Gerard J Holzmann, Rajeev JoshiAbstract:The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the number of residual defects in software products. Reducing residual defects is of course not in itself the objective of this exercise; the true objective is to reduce the number of failuresin the use of software products. Or in other words: the objective is the development of a methodology for "reliable software Systems Design."
-
reliable software Systems Design defect prevention detection and containment
Verified Software: Theories Tools Experiments, 2005Co-Authors: Gerard J Holzmann, Rajeev JoshiAbstract:The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the number of residual defects in software products. Reducing residual defects is of course not in itself the objective of this exercise; the true objective is to reduce the number of failuresin the use of software products. Or in other words: the objective is the development of a methodology for "reliable software Systems Design."
Thomas A. Henzinger - One of the best experts on this subject based on the ideXlab platform.
-
two challenges in embedded Systems Design predictability and robustness
Philosophical Transactions of the Royal Society A, 2008Co-Authors: Thomas A. HenzingerAbstract:I discuss two main challenges in embedded Systems Design: the challenge to build predictable Systems, and that to build robust Systems. I suggest how predictability can be formalized as a form of determinism, and robustness as a form of continuity.
-
The Discipline of Embedded Systems Design
Computer, 2007Co-Authors: Thomas A. Henzinger, Joseph SifakisAbstract:The wall between computer science and electrical engineering has kept the potential of embedded Systems at bay. It is time to build a new scientific foundation with embedded Systems Design as the cornerstone, which will ensure a systematic and even-handed integration of the two fields. The embedded Systems Design problem certainly raises technology questions, but more important, it requires building a new scientific foundation that will systematically and even-handedly integrate computation and physicality from the bottom up. Support for this foundation will require enriching computer science paradigms to encompass models and methods traditionally found in electrical engineering.
-
The Embedded Systems Design Challenge
2006Co-Authors: Thomas A. Henzinger, Joseph SifakisAbstract:We summarize some current trends in embedded Systems Design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safety-critical and best-effort engineering practices. We call for a coherent scientific foundation for embedded Systems Design, and we discuss a few key demands on such a foundation: the need for encompassing several manifestations of heterogeneity, and the need for constructivity in Design. We believe that the development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating computer science.
Eva Johansson - One of the best experts on this subject based on the ideXlab platform.
-
(19th ICPR) Information management for materials supply Systems Design.
International Journal of Production Research, 2009Co-Authors: Eva JohanssonAbstract:The aim of this paper is to categorize difficulties related to release and use of information for materials supply Systems Design during product development projects as well as specific approaches to deal with them. In the literature it has been argued that materials supply Systems Design should form one dimension of concurrent engineering and be coordinated with product and production Systems Design although little research on how to manage it is presented. The research presented in this paper is based on multiple sources of data, mainly gathered by means of three case studies conducted at two companies from the automotive industry. The difficulties are categorized in terms of whether or not they are related to a concurrent engineering context. The approaches are categorized with regard to whether or not they focus on difficulties related to a concurrent engineering context, and whether or not they focus on the materials supply Systems Designers and their work.
