Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Engineering
Formal Modeling And Analysis Of A Family Of Surgical Robots, Niloofar Mansoor
Formal Modeling And Analysis Of A Family Of Surgical Robots, Niloofar Mansoor
Department of Computer Science and Engineering: Dissertations, Theses, and Student Research
Safety-critical applications often use dependability cases to validate that specified properties are invariant, or to demonstrate a counterexample showing how that property might be violated. However, most dependability cases are written with a single product in mind. At the same time, software product lines (families of related software products) have been studied with the goal of modeling variability and commonality and building family-based techniques for both modeling and analysis. This thesis presents a novel approach for building an end to end dependability case for a software product line, where a property is formally modeled, a counterexample is found and then …