David Kyle
Software Engineering Institute
Publications by David Kyle
-
Cyber-Physical Systems
December 01, 2016 • White Paper
Bjorn AnderssonSagar ChakiDionisio de Niz
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
read -
Input Attribution for Statistical Model Checking using Logistic Regression
September 20, 2016 • Conference Paper
Jeffrey HansenSagar ChakiScott Hissam
In this conference paper, the authors describe an approach to Statistical Model Checking (SMC). This paper is part of the Lecture Notes in Computer Science book series.
read -
DMPL: Programming and Verifying Distributed Mixed-Synchrony and Mixed-Critical Software
June 21, 2016 • Technical Report
Sagar ChakiDavid Kyle
DMPL is a language for programming distributed real-time, mixed-criticality software. It supports distributed systems in which each node executes a set of periodic real-time threads that are scheduled by priority and criticality.
read