Ptolemy

Main ideas and directions in the Ptolemy project

Get Started. It's Free
or sign up with your email address
Rocket clouds
Ptolemy by Mind Map: Ptolemy

1. PRET machines

1.1. Timing

1.2. Configurable hardware

2. Real-time software

2.1. Time and concurrency

2.2. Metaprogramming techniques

2.3. Code generation

2.4. Domain-specific languages

2.5. Schedulability analysis

2.6. Programming of sensor networks

3. Distributed computing

3.1. Distributed discrete events

3.2. Backtracking techniques

3.3. Lifecycle management

3.4. Unreliable networks

3.5. Modeling of sensor networks

4. Understandable concurrency

4.1. Models of concurrency

5. Systems of systems

5.1. Networking

5.2. Database

5.3. Grid computing

5.4. Information subsystems

6. Abstract semantics

6.1. Domain polymorphism

6.2. Behavioral type systems

6.3. Meta-modeling of semantics

6.4. Comparative models of computation

7. Hybrid systems

7.1. Continuous and discrete dynamics

7.2. Operational semantics

7.3. Language design

7.4. Models of time