There is a growing threat to the cyber-security of safety-critical systems. The introduction of Commercial Off The Shelf (COTS) software, including Linux, specialist VOIP applications and Satellite Based Augmentation Systems across the aviation, maritime, rail and power-generation infrastructures has created common, vulnerabilities. In consequence, more people now possess the technical skills r...

FPGAs are increasing in complexity and being used as important components of safety-critical systems. Emerging safety standards require analytic reasoning to demonstrate the safety of FPGAs in such systems. This report describes a method which uses a synchronous process algebra to produce formal proof that an FPGA program satisfies safety properties, and demonstrates its use in the specificatio...

The gap between the safety developments for critical systems and safety validations is very significant. In this paper, we propose to study the development of a safety framework that bridges the gap between safety developments and safety validations using a set of different but related models. Our proposed framework, among other things, includes a collection of models capturing both the behavio...

Accidents and incidents involving safety-critical software systems often provide lessons to the systems’ users and designers, to industry, and to the software engineering community at large. Proper identification and documentation of these lessons is critical in order to prevent the recurrence of an untoward event. In this paper we examine two commercial aviation incidents involving failures of...

olive oil is one of the foods that are preferred by consumers seeking healthy nutrition. healthy, safety and high quality olive oil production can only be achieved in olive oil enterprises that follow these criteria. therefore, food safety and quality management systems should be placed in these olive oil enterprises. the aim of this study was to determine behaviors and attitudes of firm owners...

The architecture is a key aspect of the design of any system including simulation systems. An architecture description should provide a formal specification of the architecture in terms of components and connectors and how they are composed together. Further, a simulation architecture description for safety critical system must provide a specification of how the architecture can satisfy safety ...

In Systems Engineering Verification and Testing for Reliability and Safety are the most complex, error-prone and expensive tasks. This paper explains how Model Based Systems Engineering Techniques and Methodologies, powered by SysML, can facilitate Agility in Design for Reliability and Safety of Mission-Critical Systems in several Industries like Aerospace, Medical, Automotive, Transportation. ...

the main purpose of this study was to investigate the major barriers to application of good agricultural practices (gaps) technologies in sustainability of livestock by ranchers of meshkinshahr. a sample of 120 farmers was selected by using proportional random sampling method. data were collected by means of a questionnaire. validity of questionnaire was determined through agricultural jihad ex...

Safety-critical systems are pervading all areas of our lives. Accompanying the growth is an increasing level of awareness of the potential dangers involved. As a result, there has been recent realization among researchers that it is important to consider entire systems and their safety characteristics, going beyond individual embedded or real-time system components. This new focus presents an o...