Results (1)
Search Parameters:
Author/Affiliation: Jonathan LockhartOpen AccessArticle
17 Pages, 4,140 KB 
Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics
Abstract:
Trusted systems are becoming more integrated into everyday life. Security and reliability are at the forefront of trusted system design and are often directed at hardware-only solutions, especially for safety critical systems. This is because hardware has a well-established process for achieving strong, precise, and reliable systems. These attributes have been achieved in the area…
Read More(This article belongs to the SP6 (Special Issue on Recent Advances in Engineering Systems 2018-19) & Section Software Engineering in Computer Science (CSE))