Evolving Operating Systems

Large organizations invest enormous sums of money in software development, which result in large, difficult-to-maintain, complex systems. Over time, systems become increasingly brittle and more terrifying to modify, because no one understands the full system. When these systems are mission critical, they frequently continue to run for decades on outdated hardware, because no one knows how to migrate them to more modern systems. The goal of this project is to develop tools and techniques to allow software to evolve, enabling migration to newer hardware platforms. In particular, we are investigating the use of hardware machine description languages as the foundation for developing tools that will let us synthesize systems for new hardware. This is part of the PRINCESS project, in conjunction with Charles River AnalyticsCraig Knoblock at the University of Southern California, and David Parker at the University of Birmingham.

To learn more about the project, please visit the bintools source repo.




Holland, David A. "Inventory of Machine-Dependent Material." V3. March 2017. PDF