Industrial Cyberphysical Systems (iCyPhy) (icyphy)

Industrial Cyberphysical Systems (iCyPhy)

icyphy

Geek Repo

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

Home Page:https://icyphy.org

Github PK Tool:Github PK Tool

Industrial Cyberphysical Systems (iCyPhy)'s repositories

ptII

Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.

Language:JavaLicense:NOASSERTIONStargazers:99Issues:22Issues:338

lf-buckler

Programming an nRF embedded board with a Berkeley Buckler daughter card using Lingua Franca.

Language:CLicense:BSD-2-ClauseStargazers:7Issues:9Issues:10

accessors

Accessors enable composing heterogeneous devices and services in the Internet of Things (IoT).

Language:CLicense:NOASSERTIONStargazers:5Issues:8Issues:24

kepler-build

Build Kepler - the scientific workflow system

Language:ShellLicense:BSD-2-ClauseStargazers:4Issues:9Issues:3

lf-flexpret

Data determinism (LF) meets time determinism (FlexPRET).

Language:PythonStargazers:1Issues:0Issues:0

github-issue-junit

Read JUnit HTML output from Travis and add a comment to an open issue on GitHub.

Language:JavaScriptLicense:BSD-2-ClauseStargazers:1Issues:7Issues:0

ptclassic

Ptolemy Classic is a heterogeneous simulation and design environment supporting multiple models of computation. See ptII for more recent work.

Language:CStargazers:1Issues:2Issues:0
Language:HTMLStargazers:1Issues:0Issues:0

gametime-v1.5

Toolkit for the timing analysis of software

Language:PythonLicense:NOASSERTIONStargazers:0Issues:7Issues:0
Language:SCSSLicense:NOASSERTIONStargazers:0Issues:7Issues:11

ptII-test

JUnit test output for the ptII tests

License:BSD-2-ClauseStargazers:0Issues:6Issues:1

spec-space

Exploring the space of properties

Language:PythonLicense:NOASSERTIONStargazers:0Issues:5Issues:9