Mark Blackburn

Learn More
Smart cards are being used to provide security for many types of applications, and with an estimated market of 3.3 billion in 2005, their usefulness is based on their intrinsic portability and security. The National Institute of Standards and Technology (NIST) initiated the Smart Card Interoperability Program to provide standards (Government Smart Card(More)
Critical Software systems must recover when they experience degradation, either through external actors or internal system failures. There is currently no accepted generic methodology used by the software engineering community to design self-healing systems. Such systems identify when they require healing resources, and then change their own behavior to(More)
Cyber-physical systems (CPS) are increasingly relied on to provide functionality and value to products, systems, and infrastructure in sectors including transportation (aviation, automotive, rail, and marine), health care, manufacturing, and electrical power generation and distribution. [1] In this paper, we describe the critical importance of systems(More)
Contents Currently, there is great interest in the use case technique and the Unified Modeling Language (UML). This paper explains how use cases and UML models are somewhat limited in the information they provide to testers. Any effective set of tests represents a detailed understanding of the requirements of the unit under test, as well as the interfaces(More)
  • 1