Filters








115,245 Hits in 5.1 sec

Open-DO: Open Framework for Critical Systems

Jose F Ruiz, Cyrille Comar
2009 Electronic Communications of the EASST  
The Open-DO initiative aims at providing a framework federating open-source tools for safety-critical systems.  ...  When human life depends on the correct operation of the software, strict processes are put in place to ensure, as much as possible, the absence of errors in the airborne system.  ...  For certification authorities, those in charge of accepting or refusing the airworthiness certification of a system, an open platform would help them sharing and practising new ideas.  ... 
doi:10.14279/tuj.eceasst.20.257 dblp:journals/eceasst/RuizC09 fatcat:ybzhqrrvnva5liwujfcdksjv3i

An Abstract Interpretation-based Approach to Mobile Code Safety

Elvira Albert, Germán Puebla, Manuel Hermenegildo
2005 Electronical Notes in Theoretical Computer Science  
Our ideas are illustrated through an example implemented in the context of constraint logic programs, using the CiaoPP system.  ...  In our framework the safety policy is specified by using an expressive assertion language defined over abstract domains.  ...  Manuel Hermenegildo is also supported by the Prince of Asturias Chair in Information Science and Technology at UNM.  ... 
doi:10.1016/j.entcs.2005.01.032 fatcat:fwtr22bfujdepbmoimqeasni6i

Airworthiness Certification of Light Ejection Escape Equipment

GU Baodong
2011 Procedia Engineering  
In this article, this certification problem was discussed.  ...  The effective regulations or standards haven't provided enough safety requirements for unusual design features of light ejection escape equipment installed on acrobatic aircraft.  ...  Safety requirements should be included in Airworthiness Special Condition as follow: • 1) The safety requirements for manufacture, manipulating and operating of ejection escape system, besides requirements  ... 
doi:10.1016/j.proeng.2011.10.040 fatcat:shsf2s2d3fdmvbrkkaumdg5tyi

Abstraction-Carrying Code [chapter]

Elvira Albert, Germán Puebla, Manuel Hermenegildo
2005 Lecture Notes in Computer Science  
Proof-Carrying Code (PCC) is a general approach to mobile code safety in which programs are augmented with a certificate (or proof).  ...  In particular, we rely on an expressive class of safety policies which can be defined over different abstract domains.  ...  ) associated to the (opened) files: A distinguishing feature of our approach is that a class of safety policies can be defined for the different abstract domains available in the system.  ... 
doi:10.1007/978-3-540-32275-7_25 fatcat:7ehvdozrv5bhxah7krvt6jhqh4

B-space: dynamic management and assurance of open systems of systems

Daniel Schneider, Mario Trapp
2018 Journal of Internet Services and Applications  
In light of the hard-to-predict structure and behavior of such systems, assuring their safety will require some disruptive changes of established safety paradigms.  ...  certificates.  ...  Acknowledgments The work presented in this article is partially supported by the DEIS project -Dependability Engineering Innovation for Automotive CPS.  ... 
doi:10.1186/s13174-018-0084-5 fatcat:zokgmulyhrenbdnrti46f2kw4y

A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS [chapter]

Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2017 Lecture Notes in Computer Science  
a network emulator, to evaluate the impact on safety and security deriving from the adoption of an SDN centralized control plane in a railway communication infrastructure  ...  upgrade existing communication infrastructures for railways • General goal: investigate opportunities and challenges deriving from the adoption of the SDN paradigm (characterizing future 5G networks) in  ...  OpenFlow software switches (Open vSwitch, OVS) and of virtualized end systems -a full-fledged open-source OpenFlow Controller, FloodLight, written in Java • Inputs: International Conference Reliability  ... 
doi:10.1007/978-3-319-68499-4_3 fatcat:edskyq7ptbfphgc5ioj5ofu5wy

Impacts of safety on the design of light remotely-piloted helicopter flight control systems

G. Di Rito, F. Schettini
2016 Reliability Engineering & System Safety  
In this work, after a survey on applicable certification documents for the safety objectives definition, the most relevant functional failures of a light remotely-piloted helicopter are identified and  ...  The lack of specific requirements actually requires to analyse both the existing standards for military applications and the certification guidelines for civil systems, up to derive the adequate safety  ...  [2, 3] ), but in many countries the work is still in progress and many certification issues are open.  ... 
doi:10.1016/j.ress.2015.12.012 fatcat:f5iiguyfuvf37dna57ne2ugjc4

Primal–Dual Tests for Safety and Reachability [chapter]

Stephen Prajna, Anders Rantzer
2005 Lecture Notes in Computer Science  
Conditions that must be satisfied by a barrier certificate can be formulated as a convex program, and the feasibility of the program implies system safety, in the sense that there is no trajectory starting  ...  A methodology for safety verification using barrier certificates has been proposed recently.  ...  For this system, conditions analogous to (1)-(3) that must be satisfied by a barrier certificate can be formulated.  ... 
doi:10.1007/978-3-540-31954-2_35 fatcat:amhw32nrcnatpfv7ufagv2lqoe

Safety verification of implicitly defined MPC feedback laws

Juraj Holaza, Balint Takacs, Michal Kvasnica, Stefano Di Cairano
2015 2015 European Control Conference (ECC)  
The search for the safety certificate is formulated as a mixed-integer linear programming problem which yields non-conservative certificates.  ...  The search for the safety certificate is formulated as a mixed-integer linear programming problem which yields non-conservative certificates.  ...  (Infinite-time safety verification): With the same inputs as in Problem 2.1, provide a certificate that x cl (t) ∈ U for all t ≤ ∞.  ... 
doi:10.1109/ecc.2015.7330921 dblp:conf/eucc/HolazaTKC15 fatcat:phvu5t3g5vdhlgokg6ub54kouu

Importance of interchangeability for urban guided transport equipment

Latifa Furlan, Hartmut Schmidt
2011 European Transport Research Review  
of safety certification of such systems.  ...  The common model of this framework is needed to open the competitive market for urban transport.  ...  the developer to raise a condition of safety; Level 1, applies to systems used in particular cases of help or maintenance.  ... 
doi:10.1007/s12544-010-0045-y fatcat:yk4guzbownednpv4dhxx2qvuwe

The SafeCOP ECSEL Project: Safe Cooperating Cyber-Physical Systems Using Wireless Communication

Paul Pop, Detlef Scholle, Hans Hansson, Gunnar Widforss, Malin Rosqvist
2016 2016 Euromicro Conference on Digital System Design (DSD)  
SafeCOP targets safety-related Cooperating Cyber-Physical Systems (CO-CPS) characterised by use of wireless communication, multiple stakeholders, dynamic system definitions (openness), and unpredictable  ...  SafeCOP will provide an approach to the safety assurance of CO-CPS, enabling thus their certification and development.  ...  Security concerns are not covered in detail in current safety standards, potentially resulting in systems that are successfully certified according to relevant safety standards, but that still are open  ... 
doi:10.1109/dsd.2016.25 dblp:conf/dsd/PopSHWR16 fatcat:hloroehb45culoxhygh3p3qw5y

SPCE 2020 TOC

2020 2020 IEEE Symposium on Product Compliance Engineering - (SPCE Portland)  
Electrical Fire Patterns in Vegetation Louis Bilancia (Engineering Systems, Inc., USA) Licthenberg, Fern patterns, Carbon Tracking, and Fire Patterns The formation of branching patterns in association  ...  Part I described a burn injury model which numerically solves the transient heat transfer equation in living tissues and presents the burn injury threshold conditions associated with finite thermal mass  ...  A persistent global challenge is the availability of affordable treatments for chronic conditions. The increasing sophistication of open-source hardware and software systems may provide hope.  ... 
doi:10.1109/spce50045.2020.9296191 fatcat:iyzx3ndtnbg5leq2alxliq2xfy

Proactive attack: A strategy for legitimate eavesdropping

Hung Tran, Hans-Jurgen Zepernick
2016 2016 IEEE Sixth International Conference on Communications and Electronics (ICCE)  
SafeCOP targets safety-related Cooperating Cyber-Physical Systems (CO-CPS) characterised by use of wireless communication, multiple stakeholders, dynamic system definitions (openness), and unpredictable  ...  SafeCOP will provide an approach to the safety assurance of CO-CPS, enabling thus their certification and development.  ...  Security concerns are not covered in detail in current safety standards, potentially resulting in systems that are successfully certified according to relevant safety standards, but that still are open  ... 
doi:10.1109/cce.2016.7562679 fatcat:zz2xuc2urfcuzowfz224v4shpu

SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems

Carles Hernandez, Jose Flieh, Roberto Paredes, Charles-Alexis Lefebvre, Imanol Allende, Jaume Abella, David Trillin, Martin Matschnig, Bernhard Fischer, Konrad Schwarz, Jan Kiszka, Martin Ronnback (+7 others)
2020 2020 23rd Euromicro Conference on Digital System Design (DSD)  
conditions of the system itself; (2) allow the integration of applications of different criticalities and performance demands in the same platform, guaranteeing functional and temporal isolation properties  ...  SELENE aims at covering this gap by proposing a new family of safety-critical computing platforms, which builds upon open source components such as the RISC-V instruction set architecture, GNU/Linux, and  ...  Whereas the certification of the traditional OS out-of-context mentioned before was based on the accomplishment of Type-A conditions, in highly complex systems targeted by SELENE clearly all three conditions  ... 
doi:10.1109/dsd51259.2020.00066 dblp:conf/dsd/HernandezFPLAAT20 fatcat:ye4p7s3o75eu3ku6ahdvpqrntu

Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems

Jose Luis de la Vara, Alejandra Ruiz, Huáscar Espinoza
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
Safety-critical systems are typically subject to assurance processes as way to ensure that they do not pose undue risks to people, property, or the environment, usually in compliance with assurance standards  ...  Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems.  ...  We also thank all the people that have contributed to the results presented in the paper and with whom we have collaborated to develop them.  ... 
doi:10.5220/0006733906320641 dblp:conf/modelsward/Vara0E18 fatcat:4cafnwsfardv7kulj7jcju42cq
« Previous Showing results 1 — 15 out of 115,245 results