Posts with keyword: model

1 entries

Cadena: Analyzing Component-Based Software Architectures

Thu Feb 2 15:53:00 2006

John Hatcliff spoke at this morning's BYU Computer Science colloquium. John is a professor of Computer Science at Kansas State University. He's speaking on Model-driven development, analysis, and optimization in a system called Cadena. The project is based on using middleware to form abstractions of distriburted computing components. The talk is focused on a real-time CORBA event service. The "model-driven" portion of the talk discusses formalisms for building high-assurance distributed systems. The framework supports plugging in various light-weight specification, analysis, and verification systems. The work was done in the context of an avionics mission control system project sponsored by
Continue reading {Cadena: Analyzing Component-Based Software Architectures}