|
|
Software/OS Profiling for Design and Assessment of Dependable Software (& OS's) - Neeraj Suri Abstract: While the elusive quest of perfect-by-design software continues, in the meantime software unfortunately still continues to expand on Murphy's laws of failures. The complexity of run time software component interactions and only makes the problem harder even if just operational level data errors are considered. As analytical techniques are often constrained in handling the operational state space complexity, this work discusses the use of experimental techniques to first profile and locate robustness vulnerabilities, and subsequently add (post-design) wrapper code to enhance SW robustness for data level errors. To systematically drive this process, a basic objective targets development of realistic and measurable SW robustness quantifiers. First the basic concepts (profiling and evaluating) are explained for SW components and subsequently extended to OS level robustness. The work delves into the joys and travails of experimentation abetting theory and vice-versa! Bio: Neeraj Suri received his Ph.D. from the University of Massachusetts at Amherst. He currently holds the TU Darmstadt Chair Professorship in "Dependable Embedded Systems and Software" at TU Darmstadt, Germany. His earlier appointments include the Saab Endowed Professorship, faculty at Boston University and sabbatical at Microsoft Research. His research interests focus on design, analysis and assessment of distributed, dependable embedded systems and software. His research emphasizes composite issues of dependability and security for SW/OS, verification/validation of protocols and especially "trusted/secure systems by design". His group's research activities have garnered support from the European Commission, NFS, DARPA, ONR, Microsoft, Hitachi, IBM, NASA, Boeing, Saab, Volvo, SSF, Vinnova, Daimler Chrysler among others. He is also a recipient of the NSF CAREER award. Suri serves as the associate Editor in Chief for IEEE Trans. on Dependable and Secure Computing, on the editorial board for IEEE Transactions for Software Engineering, for ACM Computing Surveys covering Embedded Systems and Real-Time, for Journal of Security and Networks, and has been an editor for the IEEE Trans. on Parallel and Distributed Systems. He is a member of IFIP WG 10.4 on Dependability, and a member of Microsoft's Trustworthy Computing Academic Advisory Board. |
|
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
