Loading…
CMU SEI Research Review 2024
Wednesday November 13, 2024 3:15pm - 3:45pm EST
Assuring evolving large-scale systems (i.e., systems with multiple subsystems) can be a bottleneck in deploying capabilities with the speed and confidence needed for current Department of Defense (DoD) missions. There is no easy way to automatically integrate the complex web of interacting assurance techniques (i.e., for control stability, timing, security, logical correctness, and more) from multiple interacting subsystems in a system. In addition, without awareness of assurance interdependencies and effective reuse of prior assurance, the cost and time required for re-assurance can skyrocket.

Learn More about Large-Scale Assurance​​​
Speakers
avatar for Dr. Gabriel Moreno

Dr. Gabriel Moreno

Principal Researcher, Software Engineering Institute
Gabriel Moreno is a principal researcher and the lead of the Formal Verification of Cyber-Physical Systems (FV-CPS) Initiative.During his career at the SEI, Moreno has worked on several areas including model-based analysis, software architecture, component technology, performance... Read More →
Wednesday November 13, 2024 3:15pm - 3:45pm EST

Attendees (1)


Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Share Modal

Share this link via

Or copy link