2018/11/12 by Jonathan Lim, Phillip Stanley-Marbell, Lim, Jonathan +2 · 2 citations
Computer Science · Engineering · Physics and Astronomy · #Artificial intelligence #Bridge (graph theory) #Compiler #Computer science #Database #Embedded Systems Design Techniques #Exploit #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Physical sciences #Instrumentation and Detectors (physics.ins-det) #Interface (matter) #Measure (data warehouse) #Numerical Methods and Algorithms #Object (grammar) #Operating system #Parallel Computing and Optimization Techniques #Physical system #Physics #Programming Languages (cs.PL) #Programming language #SIGNAL (programming language) #Signal Processing (eess.SP) #cs.PL #eess.SP #electronic engineering #information engineering #physics.ins-det
paper · pdf · doi:10.48550/arxiv.1811.04626
published in arXiv (Cornell University) (Cornell University)
arxiv created 2018/11/12 · openalex publication_date 2018/11/12 · arxiv updated 2018/11/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This article introduces Newton, a specification language for notating the analytic form, units of measure, and sensor signal properties for physical-object-specific invariants and general physical laws. We designed Newton to provide a means for hardware designers (e.g., sensor integrated circuit manufacturers, computing hardware architects, or mechanical engineers) to specify properties of the physical environments in which embedded computing systems will be deployed (e.g., a sensing platform deployed on a bridge versus worn by a human). Compilers and other program analysis tools for embedded systems can use a library interface to the Newton compiler to obtain information about the sensors, sensor signals, and inter-signal relationships imposed by the structure and materials properties of a given physical system. The information encoded within Newton specifications could enable new compile-time transformations that exploit information about the physical world.