@inproceedings{1178,
  keywords = {model based design, cyber physical systems, machine learning},
  author = {Charles Hartsell and Nagabhushan Mahadevan and Shreyas Ramakrishna and Abhishek Dubey and Theodore Bapty and Taylor Johnson and Xenofon Koutsoukos and Janos Sztipanovits and Gabor Karsai},
  title = {Model-Based Design for CPS with Learning-Enabled Components},
  abstract = {Recent advances in machine learning led to the appearance of Learning-Enabled Components (LECs) in Cyber-Physical Systems. LECs are being evaluated and used for various, complex functions including perception and control. However, very little tool support is available for design automation in such systems. This paper introduces an integrated toolchain that supports the architectural modeling of CPS with LECs, but also has extensive support for the engineering and integration of LECs, including support for training data collection, LEC training, LEC evaluation and verification, and system software deployment. Additionally, the toolsuite supports the modeling and analysis of safety cases - a critical part of the engineering process for mission and safety critical systems.},
  year = {2019},
  journal = { Proceedings of the Workshop on Design Automation for CPS and IoT},
  pages = {1–9},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  isbn = {9781450366991},
  url = {https://doi.org/10.1145/3313151.3313166},
  doi = {10.1145/3313151.3313166},
}