Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools

Carol L. Hoover and Pradeep Khosla
Proceedings of the Third IEEE International High-Assurance Systems Engineering Symposium, December, 1998, pp. 188-199.


Download
  • Adobe portable document format (pdf) (1MB)
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Abstract
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guarantee that design objectives such as reusability, evolvability, and reliable performance are satisfied. The costly process of designing, building, and modifying high assurance systems motivates the need for precise methods and tools to generate designs whose corresponding implementations are reusable, evolvable, and reliable. We demonstrate an analytical approach for partitioning basic elements of a software solution into reusable and evolvable software components. First, we briefly overview the role of partitioning in current design methods and explain why computer-aided design (CAD) tools to automate the design of microelectromechanical systems (MEIMS) are high assurance applications. Then we present our approach and apply it to the design of CAD software to layout an optimized design of a MEMS accelerometer to be used in the navigational units of aircraft. Lastly, we discuss the implications of our approach and future research directions.

Notes

Text Reference
Carol L. Hoover and Pradeep Khosla, "Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools," Proceedings of the Third IEEE International High-Assurance Systems Engineering Symposium, December, 1998, pp. 188-199.

BibTeX Reference
@inproceedings{Hoover_1998_2280,
   author = "Carol L. Hoover and Pradeep Khosla",
   title = "Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools",
   booktitle = "Proceedings of the Third IEEE International High-Assurance Systems Engineering Symposium",
   pages = "188-199",
   month = "December",
   year = "1998",
}