Name: Industrial Cyberphysical Systems (iCyPhy)
Type: Organization
Bio: The goal of iCyPhy (pronounced eye-sigh-fie) is to conduct research on architectures and design, modeling, and analysis techniques for cyberphysical systems.
Location: University of California, Berkeley
Blog: https://icyphy.org
Industrial Cyberphysical Systems (iCyPhy)'s Projects
Accessors enable composing heterogeneous devices and services in the Internet of Things (IoT).
Toolkit for the timing analysis of software
Read JUnit HTML output from Travis and add a comment to an open issue on GitHub.
Build Kepler - the scientific workflow system
Programming an nRF embedded board with a Berkeley Buckler daughter card using Lingua Franca.
Data determinism (LF) meets time determinism (FlexPRET).
Ptolemy Classic is a heterogeneous simulation and design environment supporting multiple models of computation. See ptII for more recent work.
Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
JUnit test output for the ptII tests
Exploring the space of properties