An implementable formal language for hard real-time systems

An implementable formal language for hard real-time systems

Bibliographic Details
Main Author:	Bradley, Steven Paul
Published:	Northumbria University 1995
Subjects:	005 Application Oriented Real-Time Algebra
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.245207

Similar Items

Formal Verification and Implementation of Real-Time Applications
by: Liviu Haţegan, et al.
Published: (2009-12-01)

The formal verification of hard real-time systems
by: Cardell-Oliver, Rachel Mary
Published: (1992)

Specification and proof in real-time systems
by: Davies, Jim
Published: (1991)

Formal Verification of Real-Time System Requirements
by: Marcin Szpyrka
Published: (2000-01-01)

Functional real-time programming : the language Ruth and its semantics
by: Harrison, Dave
Published: (1988)

Design and analysis of hard real-time systems
by: Zhu, Jiang
Published: (2012)

A formalism for representing qualified knowledge and its implementation for large knowledge bases
by: Jiang, Y. J.
Published: (1986)

Formal semantics for LIPS (Language for Implementing Parallel/distributed Systems)
by: Rajan, Amala Vijaya Selvi
Published: (2009)

Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems
by: Tomasz Szmuc, et al.
Published: (2002-01-01)

A formal approach to modelling real-time critical systems
by: Veloudis, Simeon
Published: (2004)

Integration of hard real-time schedulers
by: Wang, Weirong
Published: (2008)

Analysis of Real-Time Applications Feasibility through Simulation
by: S. N. Baranov, et al.
Published: (2016-12-01)

On exploiting spare capacity in hard real-time systems
by: Davis, Robert Ian
Published: (1995)

Η Real Time Java στην ανάπτυξη ενσωματωμένων συστημάτων
by: Ασσιούρας, Ιωάννης
Published: (2011)

Worst Case Analysis of DRAM Latency in Hard Real Time Systems
by: Wu, Zheng Pei
Published: (2013)

Structured recursion for non-uniform data-types
by: Blampied, Paul Alexander
Published: (2000)

Computational architecture : a step towards predictable software design
by: Vickers, Andrew J.
Published: (1994)

A constrained computational model for flexible scheduling
by: McElhone, Charles Gerard
Published: (1996)

On Securing Real-Time Speech Transmission over the Internet: An Experimental Study
by: Roccetti Marco, et al.
Published: (2003-01-01)

A formal refinement framework for the systems modeling language
by: Jacobs, Petrus Jacobus
Published: (2015)

Randomized Caches Considered Harmful in Hard Real-Time Systems
by: Jan Reineke
Published: (2014-06-01)

Flash Memory Garbage Collection in Hard Real-Time Systems
by: Lai, Chien-An
Published: (2012)

Αξιοποιώντας το Real-Time Linux σε ενσωματωμένα συστήματα
by: Χρυσοχού, Αγγελική
Published: (2011)

Χρήση Real Time Linux στην ανάπτυξη embedded συστημάτων
by: Χανδράς, Μάρκος
Published: (2009)

Reliability for Hard Real-time Communication in Packet-switched Networks
by: Ganjalizadeh, Milad
Published: (2014)

The design of a run time system for a real time simulation language
by: Lubran, J. F.
Published: (1973)

Object-oriented real-time simulation for a manufacturing facility
by: Lanka, Somanath
Published: (1994)

ARCHITECTURE-AWARE HARD-REAL-TIME SCHEDULING ON MULTI-CORE ARCHITECTURES
by: Shekhar, Mayank
Published: (2014)

Energy-optimal schedules of real-time jobs with hard deadlines
by: George, John Vijoe
Published: (2005)

Effective interprocess communication (IPC) in a real-time transputer network
by: Bor, Mehmet
Published: (1994)

WCET Optimizations and Architectural Support for Hard Real-Time Systems
by: Ding, Yiqiang
Published: (2012)

Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems
by: Enrico Mezzetti, et al.
Published: (2015-03-01)

Parallelizing Trusted Execution Environments for Multicore Hard Real-Time Systems
by: Mishra, Tanmaya
Published: (2019)

MULTIPLICATIVE PRIMENESS OF COMPLEXIFICATION FOR REAL ALGEBRAS
by: Amir A. Mohammed, et al.
Published: (2006-06-01)

BoardION: real-time monitoring of Oxford Nanopore sequencing instruments
by: Aimeric Bruno, et al.
Published: (2021-05-01)

Evaluating the Perceived Overhead Imposed by Object-Oriented Programming in a Real-time Embedded System
by: Bhakthavatsalam, Sumithra
Published: (2014)

Certification of real-time performance for dynamic, distributed real-time systems
by: Huh, Eui-Nam
Published: (2002)

Design, formalization and realization of harmonic box coordination language : an externally timed specification substrate for arbitrarily reliable distributed systems
by: George, Samuel R. J.
Published: (2014)

A Multi-core processor for hard real-time systems
by: Paolieri, Marco
Published: (2011)

An Automated Test Framework For Hard Real-Time Communication Systems
by: Nagaiah, Mithun
Published: (2012)