Networked sensors are becoming an increasingly important field of research as power and size requirements grow smaller and it becomes easier to embed thousands or millions of these devices in our environment. However, there is currently very little programming support for these and other event-based systems. In this paper, we focus on TinyOS, an event-based operating system for Smart Dust netwo...

The continuous-time (CT) domain in Ptolemy II aims to help the design and simulation of systems that can be modeled using ordinary differential equations (ODEs). ODEs are often used to model analog circuits, plant dynamics in control systems, lumped-parameter mechanical systems, lumpedparameter heat flows and many other physical systems. Let’s start with an example. Consider a second order diff...

Correspondence: zuozhanfei@139. com Department of Mathematics and Statistics, Chongqing Three Gorges University, Wanzhou 404000, China Abstract We determine and estimate the Ptolemy constant of absolute normalized norms on R by means of their corresponding continuous convex functions on [0, 1]. Moreover, the exact values were calculated in some concrete Banach spaces. 2000 Mathematics Subject C...

Neither UML 2.0 nor the upcoming SysML 1.0 currently provides sufficient means for applications in the context of heterogeneous electronic systems description and simulation. In this article, we demonstrate how general concepts of the simulation framework Ptolemy II seamlessly complement SysML to serve as a universal description language covering discrete event as well as continuous behaviors.

1. INTRODUCTION. The classical theorem of Ptolemy (used for computations by Claudius Ptolemaeus of Alexandria, 2nd century AD, but probably known even before him [7, pp. 123-1241) states that if A, B , C , D are, in this order, four points

The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying principle in the project is the use of well-defined models of computation that govern the interaction between components.

| A hardware software cosimulation environment is developed using the backplane approach. This paper de nes the backplane protocol for communication and synchronization between client simulators to seamlessly integrate a new simulator without modi cation. Automatic interface generation facility is also devised for more e ective cosimulation environment. The environment is implemented based on P...