search menu icon-carat-right cmu-wordmark

Posts by Arie Gurfinkel

Verifying Evolving Software

Verifying Evolving Software

• Blog
Arie Gurfinkel

When we verify a software program, we increase our confidence in its trustworthiness. We can be confident that the program will behave as it should and meet the requirements it was designed to fulfill. Verification is an ongoing process because software continuously undergoes change. While software is being created, developers upgrade and patch it, add new features, and fix known bugs. When software is being compiled, it evolves from program language statements to executable code....

Read More
Regression Verification for Real-time Embedded Software Systems

Regression Verification for Real-time Embedded Software Systems

• Blog
Arie Gurfinkel

The DoD relies heavily on mission- and safety-critical real-time embedded software systems (RTESs), which play a crucial role in controlling systems ranging from airplanes and cars to infusion pumps and microwaves. Since RTESs are often safety-critical, they must undergo an extensive (and often expensive) certification process before deployment. This costly certification process must be repeated after any significant change to the RTES, such as migrating a single-core RTES to a multi-core platform, significant code refactoring,...

Read More
Regression Verification of Real-time Embedded Software

Regression Verification of Real-time Embedded Software

• Blog
Arie Gurfinkel

Continuous technological improvement is the hallmark of the hardware industry. In an ideal world--one without budgets or schedules--software would be redesigned and redeveloped from scratch to leverage each such improvement. But applying this process for software is often infeasible--if not impossible--due to economic constraints and competition. This posting discusses our research in applying verification, namely regression verification, to help the migration of real-time embedded systems from single-core to multi-core platforms....

Read More

Contact the Author

Arie Gurfinkel

SEI Digital Library

SEI Publications

Visit the SEI Digital Library to see other publications by Arie Gurfinkel

View publications