{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T20:14:52Z","timestamp":1725394492299},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/icacci.2015.7275975","type":"proceedings-article","created":{"date-parts":[[2015,9,28]],"date-time":"2015-09-28T17:27:30Z","timestamp":1443461250000},"page":"2385-2391","source":"Crossref","is-referenced-by-count":1,"title":["Behavioral analysis of Safety Critical Systems using formal methods"],"prefix":"10.1109","author":[{"family":"Shreesha Rao P","sequence":"first","affiliation":[]},{"given":"Manju","family":"Nanda","sequence":"additional","affiliation":[]},{"given":"J","family":"Jayanthi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"80","article-title":"Modelling Systems Tools and Techniques in Software Development","author":"fitzgerald","year":"2009"},{"key":"ref11","first-page":"25","article-title":"Communicating Sequential Processes","author":"hoare","year":"1985"},{"key":"ref12","first-page":"30","article-title":"A Calculus of Communicating Systems","author":"milner","year":"1982"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.5772\/9423"},{"article-title":"Model-Based Engineering with AADL - An Introduction to the SAE Architecture Analysis & Design Language","year":"0","author":"feiler","key":"ref14"},{"key":"ref4","first-page":"70","article-title":"Part 1: Requirements, Part 2: Guidance. Defence Standard 00–55","year":"1997","journal-title":"Ministry of Defence Directorate of Standardisation Kentigem House Requirements for Safety Related Software in Defence Equipment"},{"key":"ref3","first-page":"1","article-title":"Signal Validation process - Software Design Document","author":"swapnil","year":"2009"},{"key":"ref6","first-page":"1","article-title":"The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering","author":"feiler","year":"2000"},{"key":"ref5","first-page":"13","article-title":"Guidance on the use of Formal Methods in the Development and Assurance of High Integrity Industrial Computer Systems","author":"anderson","year":"1998","journal-title":"European Workshop On Industrial Computer Systems Technical Committee"},{"key":"ref8","first-page":"150","article-title":"The B-book Assigning Programs to Meanings","author":"abrial","year":"2005"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1109\/ICSE.2002.1007998","article-title":"Safety Critical Systems: Challenges and Directions","author":"john c knight","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"key":"ref2","first-page":"1","article-title":"Automatic Flight Control System for SARAS aircraft - Software Design Document","author":"gnanamuthu","year":"2008"},{"key":"ref1","first-page":"50","article-title":"Civil Aircraft Advanced Avionics Architectures An Insight Into Saras Avionics, Present And Future Perspective","author":"ananda","year":"2012"},{"key":"ref9","first-page":"120","article-title":"Using Z - Specification, Refinement, and Proof. Series in Computer Science","author":"woodcock","year":"1996"}],"event":{"name":"2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI)","start":{"date-parts":[[2015,8,10]]},"location":"Kochi, India","end":{"date-parts":[[2015,8,13]]}},"container-title":["2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7259950\/7275573\/07275975.pdf?arnumber=7275975","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T16:23:32Z","timestamp":1498235012000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7275975\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icacci.2015.7275975","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}