Download PDF High-Integrity System Specification and Design

Free download. Book file PDF easily for everyone and every device. You can download and read online High-Integrity System Specification and Design file PDF Book only if you are registered here. And also you can download or read online all Book PDF file that related with High-Integrity System Specification and Design book. Happy reading High-Integrity System Specification and Design Bookeveryone. Download file Free Book PDF High-Integrity System Specification and Design at Complete PDF Library. This Book have some digital formats such us :paperbook, ebook, kindle, epub, fb2 and another formats. Here is The CompletePDF Book Library. It's free to register here to get Book file PDF High-Integrity System Specification and Design Pocket Guide.

High Integrity Ada

Do you have questions concerning HIMA solutions or services? Our sales experts would be pleased to respond to your email or your call. Our solutions are certified up to SIL 4, helping you fulfil demanding safety requirements. Reduced costs and environmental impact in comparison with conventional relief systems. Related Solutions Overview.

  • High-Integrity System Specification and Design.
  • Lhasa: Streets with Memories (Asia Perspectives: History, Society, and Culture);
  • You Dont Have to Be Good?
  • Walk To Wachusett.
  • Software requirements for railway signalling systems - IET Conference Publication?
  • High-Integrity System Specification and Design.

Critical Control. Turbomachinery TMC. Tank Farm Protection. Modular Automation. Shut Down System. New Technologies. More Information.

User and System Requirements - Georgia Tech - Software Development Process

HIMA Headquarters. Your session is about to expire! You will be logged out in 60 seconds. Do you want to stay signed in?

Formal methods

One of the measures taken to promote correctness of programs is the use of a restricted set of features available in programming languages. This usually means that most of the more recent advances in software engineering are left out. In this project, we propose to provide development, validation, and verification facilities that allow object-orientation and a modern real-time computational model to be used for the programming of safety-critical systems. In particular, we will work with one of the most popular programming languages: Java, or more specifically, its profiles for high-integrity engineering proposed by the Open Group.

As our main case study, we will verify parts of the controller of the first Java Powered Industrial Robot, developed by Sun. One of our collaborators, a senior engineer in Sun tells in an interview that Distributed Real-Time Systems are really hard to build and the engineering community doesn't really know how to build them in a coherent repeatable way. Lawyers did not allow the Java Robot to get anywhere near a human, even in a JavaOne conference demo. To proceed in that kind market, better support is needed.


Programming is just one aspect of the development of a modern system; typically, a large number of extra artefacts are produced to guide and justify its design. Just like several models of a large building are produced before bricks and mortar are put together, several specification and design models of a program are developed and used before programs are written.

High-Integrity Pressure Protection System (HIPPS)

These models assist in the validation and verification of the program. To take our civil engineering metaphor one step further, we observe that, just like there can be various models of a building that reflect several points of view, like electricity cabling, plumbing, and floor plans, for example, we also have several models of a system. Different modelling and design notations concentrate on different aspects of the program: data models, concurrent and reactive behaviour, timing, and so on.

Cross-sector expertise

No single notation or technique covers all the aspects of the problem, and a combination of them needs to be employed in the development of large complex systems. In this project, we propose to investigate a novel integrated approach to validation and verification. Our aim is to provide a sound and practical technique that covers data modelling, concurrency, distribution, and timing. For that, we plan to investigate the extension and combined use of validation and verification techniques that have been successfully applied in industry.

High-integrity pressure protection system - Wikipedia

We do not seek an ad hoc combination of notations and tools, but a justified approach that provides a reliable foundation for the use of practical techniques. We will have succeeded if we verify a substantial part of the robot controller: using a model written in our notation, we will apply our techniques to verify parts of the existing implementation, execute it using our verified implementation of Safety-critical Java.

Measure of success will be provided by our industrial partners and the influence of our results in their practice or business plans.