Go To Projects
Research Interests and Specialities
 Software Engineering
Specification, modeling, design and verification of concurrent systems including functional and performance analysis
 Formal Methods for Specification, Modeling and Analysis
There are numerous links contained here to web based resources.
 High Assurance Systems Engineering
Ensure that systems are produced in a timely fashion and that they meet stringent real-time, reliability / fail-safe requirements
 Industry Domain Specialities
  • Real-time embedded fault-tolerant, safety critical avionics applications, and diagnostics (BIT/BIST/testability)
  • Operating systems and interfaces, hardware/software co-design, implementation, test and integration
  • Requirements specification, modeling, and performability analysis (see below)
    		•
    Prospective Research Projects

    Software plays a critical role in the integrity computer systems. The incorrect operation of the software could lead to catastrophic loss of life, substantial material and/or environmental damage. Such diverse technologies (systems of systems) as avionics, vehicle control systems, power grid, communications and various transportation equipment and systems depend on software. Our research focues on composing, analyzing and validating software models to assess the performability of proposed /existing systems. We are investigating many aspects of software development that have an impact on the safety, reliability, cyber-security and critical infrastructure survivability. Prospective projects may encompass the following (contact Sheldon for the password that protects the pdf downloads):

     Rigorous Practical Software Design Using Lightweight Formal Methods (e.g., FSQ, Sequence-based Specification, pdf)

     Autonomic Survivable Cyber-Secure Infrastructures (pdf)

     Self-Regenerative Systems for Critical-infrastructure Survivability (pdf)

    Towards Refinement Based Verification of Online Adaptive Systems (pdf)

     Visualization and Graph Editor Tool Development – based on Petri nets

     Empirical Assessment of Formal Methods – applying empirical software engineering research methods to software developed with formal methods

     Empirical Assessment of Product and Process Metrics – investigating measures to improve the quality software.

    Designing for Ease of Systems Evolution – innovating guidelines to facilitate the process of designing for exstensibility and ease of systems evolution