Debra M. Erickson
Papers
1
Total Citations
10
H-Index
1
About
Debra M. Erickson is a researcher whose work lies at the intersection of formal methods and control systems engineering, with a particular focus on improving the reliability and reusability of safety-critical system specifications. Her most-cited paper, "Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes" (2000, 10 citations), addresses a persistent challenge in embedded systems: how to formally capture and analyze required control behavior in a way that remains robust despite evolving hardware. Erickson’s key contribution is demonstrating that rigorous formal modeling—through unambiguous behavioral definitions and safety property verification—can be made cost-effective by structuring specifications for reuse. This work highlights the practical tension between the high upfront cost of formal analysis and the long-term benefits of reduced errors and easier adaptation. While her citation count is modest, her research speaks directly to engineers and researchers seeking to bridge the gap between theoretical rigor and real-world system evolution. Erickson’s insights remain relevant for anyone designing dependable control systems where hardware changes are inevitable.
Research Focus
Key Achievements
Top Papers
- 1