Towards a Safe Systems Engineering
نویسندگان
چکیده
منابع مشابه
Towards optimization-safe systems
This paper studies an emerging class of software bugs called optimization-unstable code: code that is unexpectedly eliminated by compiler optimizations due to undefined behavior in the program. This paper finds that such unstable code is present in many systems, including the Linux kernel and the Postgres database server. The consequences of unstable code range from incorrect functionality to m...
متن کاملTowards a Systems Engineering Essence
SEMAT/OMG Essence provides a powerful Language and a Kernel for describing software development processes. How can it be tweaked to apply it to systems engineering methods description? We must harmonize Essence and various systems engineering standards in order to provide a more formal system approach to obtaining a Systems Engineering Essence. In this paper, an approach of using Essence for sy...
متن کاملTowards systems materials engineering.
Materials science has evolved over the past decades so that there is now an increasing need for efforts from the various subfields of materials science and engineering to come together to solve grand challenges. Such issues were discussed at a symposium on energy at the Collège de France1 that involved both the socio-economical stakes as well as the technological challenges. Indeed, nowhere has...
متن کاملTowards Safe Coordination in Multi-agent Systems
Conservative design is the ability of an individual agent to ensure predictability of its overall performance even if some of its actions and interactions may be inherently less predictable or even completely unpredictable. In this paper, we describe the importance of conservative design in cooperative multi-agent systems and briefly characterize the challenges that need to be addressed to achi...
متن کاملTowards Safe and Scalable Cyber-Physical Systems
Specifying, designing, and developing correct, efficient, and resilient software systems is a notoriously hard problem, particularly when placing these systems in open contexts in which they will interact with dynamic and unpredictable physical environments, peers, and adversaries. By “correct” we mean that we know with certainty some desirable invariants of a system. Many techniques are alread...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: INSIGHT
سال: 2013
ISSN: 2156-485X
DOI: 10.1002/inst.201316421