A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Open-DO: Open Framework for Critical Systems
2009
Electronic Communications of the EASST
Preserved Fulltext
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2011
Procedia Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2018
Journal of Internet Services and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
Reliability Engineering & System Safety
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 European Control Conference (ECC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
European Transport Research Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
2016 Euromicro Conference on Digital System Design (DSD)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2016
2016 IEEE Sixth International Conference on Communications and Electronics (ICCE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
2020 23rd Euromicro Conference on Digital System Design (DSD)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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