|
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
|