A visual framework for formal systems development using interval temporal logic

A visual framework for formal systems development using interval temporal logic

Bibliographic Details
Main Author:	Chakrapani Rao, Arun
Published:	De Montfort University 2002
Subjects:	004.33
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393497

Similar Items

Formal modelling and analysis of an asynchronous communication mechanism
by: Henderson, Neil
Published: (2005)

Temporal partitioning of flexible real-time systems
by: Zabos, Attila
Published: (2011)

A framework to observe execution time variability for embedded systems
by: Scottow, Richard G.
Published: (2010)

Temporal modelling of an OSI-based communications protocol
by: Aboul Hamid, I.
Published: (1991)

Techniques for enhancing the temporal predictability of real-time embedded systems employing a time-triggered software architecture
by: Maaita, Adi Abdelhalim
Published: (2009)

Enhancing real-time embedded systems development using artificial immune systems
by: Lay, Nicholas Christopher
Published: (2009)

A framework for flexible scheduling in real-time middleware
by: Zerzelidis, Alexandros
Published: (2007)

Towards robust data association in real-time visual SLAM
by: Chekhov, Denis
Published: (2009)

Real-time computer animations and the study of visual responses in crabs
by: Johnson, Aaron Paul
Published: (2001)

Developing dynamically reconfigurable real-time systems with real-time OSGi (RT-OSGi)
by: Richardson, Thomas
Published: (2011)

Analysis for EDF Scheduled Real Time Systems
by: Zhang, Fengxiang
Published: (2009)

Virtual prototyping of embedded real-time systems
by: Trignano, Vincenzo
Published: (2005)

Development of a tool that enables usability evaluations in real-time distributed collaborative environments
by: Urmetzer, Florian
Published: (2008)

Garbage Collection for Flexible Hard Real-Time Systems
by: Chang, Yang
Published: (2007)

A virtual machine for high integrity real-time systems
by: Cai, Hao
Published: (2005)

Probabilistic schedulability and quality of service analysis in real-time systems
by: Leulseged, Amare Mengesha
Published: (2005)

Run time detection of timing errors in real-time systems
by: Santos, Osmar Marchi dos
Published: (2008)

An approach to the design of expert systems for hard real-time applications
by: Jones, A. V.
Published: (1995)

Rapid generation of hardware functionality in DSP systems on heterogeneous platforms
by: Reilly, Darren Gerard
Published: (2006)

Fault tolerance in fixed-priority hard real-time distributed systems
by: Lima, George Marconi de ArauÌjo
Published: (2003)

A truly distributed database architecture for hard real-time systems
by: Al-Rashoud, B. S. A.
Published: (1997)

Ravenscar-Java: Java Technology for High-Integrity Real-Time Systems
by: Kwon, Jagun
Published: (2006)

Configuring a Massively Parallel CMP system for Real-Time Neural Applications
by: Khan, Muhammad Mukaram
Published: (2009)

Fixed-priority scheduling algorithms with multiple objectives in hard real-time systems
by: Aguilar-Soto, Armando
Published: (2006)

Scheduling analysis of fixed priority hard real-time systems with multiframe tasks
by: Zuhily, Areej
Published: (2009)

Design and performance characterisation of a modular surveillance system for a distributed processing platform
by: Robinson, Mike
Published: (2001)

Hybrid measurement-based WCET analysis using instrumentation point graphs
by: Betts, Adam
Published: (2008)

Accurate fast weather dependent load forecast for optimal generation scheduling in real time application
by: Desouky, Azza Ahmed El
Published: (2002)

Worst-case execution time analysis for dynamic branch predictors
by: Reutemann, Ralf Dieter
Published: (2008)

The virtual node approach to real-time, fault-tolerant distributed Ada
by: Hutcheon, Andrew David
Published: (1993)

Flexibility in dependable real-time communication
by: Broster, Ian
Published: (2004)

Real-time processor architectures for worst case execution time reduction
by: Whitham, Jack
Published: (2008)

Signal processing for real-time inspection of moving surfaces
by: Soloviev, Dmitri
Published: (2001)

Real-time algorithms for optimal CCD data reduction in high energy astronomy
by: Welch, Stephen James
Published: (2001)

Real-time clock synchronisation over a CAN-based fieldbus
by: Dimyati, K.
Published: (1996)

Clock synchronization across standard networks
by: Chuang, Y.-A.
Published: (1994)

Predicated Worst Case Execution Time Analysis
by: Marref, Amine
Published: (2009)

Asynchronous event handling and the real-time specification for Java
by: Kim, Min Seong
Published: (2009)

Hardware architectures for real-time video enhancement and their application to an adaptive image sensor
by: Angelopoulou, Maria E.
Published: (2009)

Soft real-time garbage collection for dynamic dispatch languages
by: cheadle, Andrew
Published: (2010)