Ptolemy

swMATH7459MaRDI QIDQ19489

No author found.

Related Items (65)

Explicit routing schemes for implementation of cellular automata on processor arrays ⋮ Timed CTL Model Checking in Real-Time Maude ⋮ Unnamed Item ⋮ Compositional modeling and refinement for hierarchical hybrid systems ⋮ A Modal Interface Theory for Component-based Design ⋮ Memory-optimized software synthesis from dataflow program graphs with large size data samples ⋮ Logic foundry: Rapid prototyping for FPGA-based DSP systems ⋮ Unnamed Item ⋮ OntCheck: an ontology-driven static correctness checking tool for component-based models ⋮ Modeling for Verification ⋮ Task level specification and formal verification of robotics control systems: State of the art and case study ⋮ Unnamed Item ⋮ Managing Latency and Buffer Requirements in Processing Graph Chains ⋮ Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Dispatch sequences for embedded control models ⋮ A Platform-independent Component Modeling Language for distributed real-time and embedded systems ⋮ Unnamed Item ⋮ Behavioural semantics for asynchronous components ⋮ Heterogeneous Timed Machines ⋮ Temporal analysis of data flow control systems ⋮ The rewriting logic semantics project: a progress report ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Twenty years of rewriting logic ⋮ Taming Dr. Frankenstein: contract-based design for cyber-physical systems ⋮ Unnamed Item ⋮ A Two-Way Path Between Formal and Informal Design of Embedded Systems ⋮ Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compositional design of isochronous systems ⋮ Expressiveness of component-based frameworks: a study of the expressiveness of BIP ⋮ From Simulation Models to Hybrid Automata Using Urgency and Relaxation ⋮ Multidimensional exploration of software implementations for DSP algorithms ⋮ DG2VHDL: A tool to facilitate the high level synthesis of parallel processing array architectures ⋮ Dynamic networks of heterogeneous timed machines ⋮ Model driven middleware: A new paradigm for developing distributed real-time and embedded systems ⋮ CPO semantics of timed interactive actor networks ⋮ DISCOVER: An environment for Web-based interaction and steering of high-performance scientific applications ⋮ Constructive Collisions ⋮ Reconfigurable computing for digital signal processing: A survey ⋮ Unnamed Item ⋮ A consistent design methodology for wireless embedded systems ⋮ Causal Semantics for the Algebra of Connectors ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ An algebraic theory for behavioral modeling and protocol synthesis in system design ⋮ Extended synchronous dataflow for efficient DSP system prototyping ⋮ The design and application of structured types in Ptolemy II ⋮ Causal semantics for the algebra of connectors ⋮ A general framework for architecture composability ⋮ Unnamed Item ⋮ Actors without Directors: A Kahnian View of Heterogeneous Systems ⋮ Developing applications for heterogeneous computing environments using simulation: A case study ⋮ Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow ⋮ A semantic model for interacting cyber-physical systems ⋮ A modular formal semantics for Ptolemy ⋮ Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata ⋮ Abstraction of Clocks in Synchronous Data-Flow Systems ⋮ A Theory Agenda for Component-Based Design ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties ⋮ Modelling Adaptive Systems in ForSyDe ⋮ A methodology for architecture exploration of heterogeneous signal processing systems ⋮ A case study in embedded systems design: An engine control unit ⋮ Technical note

This page was built for software: Ptolemy