Safety Analysis of Software Components of a Dialysis Machine Using Model Checking-Reference-Cited by-同舟云学术

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking

Published:2017 Issue: Volume: Page:137-154
ISSN:0302-9743
Container-title:Formal Aspects of Component Software
language:
Short-container-title:

Author:

Harrison M. D.^ORCID,Drinnan M.,Campos J. C.,Masci P.,Freitas L.,di Maria C.,Whitaker M.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-68034-7_8

Reference17 articles.

1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2010)

2. Atlee, J.M., Gannon, J.: State-based model checking of event-driven system requirements. IEEE Trans. Softw. Eng. 19(1), 24–40 (1993)

3. Barnes, J., Chapman, R., Johnson, R., Everett, B., Cooper, D.: Engineering the tokeneer enclave protection software. In: IEEE International Symposium on Secure Software Engineering. IEEE (2006)

4. BSI: Medical device software - software life cycle processes. Technical report BS EN 62304:2006, British Standards Institution, CENELEC, Avenue Marnix 17, B-1000 Brussels (2008)

5. Lecture Notes in Computer Science;JC Campos,2008

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Product defect recognition and mechanical assembly intelligent system based on ubiquitous clouds and social internet of things;Internet Technology Letters;2020-11-08

2. Verification Templates for the Analysis of User Interface Software Design;IEEE Transactions on Software Engineering;2019-08-01

3. The MAL Interactors Animator;Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems;2018-06-19