Sciweavers

832 search results - page 102 / 167
» System-level development of embedded software
Sort
View
ISORC
2009
IEEE
14 years 5 months ago
Resource Scopes: Toward Language Support for Compositional Determinism
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
SIES
2007
IEEE
14 years 4 months ago
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
Simon Tjell
ISORC
2006
IEEE
14 years 4 months ago
Complexity Management for Composable Real-Time Systems
Embedded real-time systems are becoming increasingly complex due to ever increasing size and functionality so that complexity management is of growing importance, especially in de...
Bernhard Rumpler
ISWC
2006
IEEE
14 years 4 months ago
Trinetra: Assistive Technologies for Grocery Shopping for the Blind
Trinetra aims for cost-effective, assistive technologies to provide blind people with a greater degree of independence in their daily activities. The overall objective is to impro...
Patrick E. Lanigan, Aaron M. Paulos, Andrew W. Wil...
DATE
2000
IEEE
116views Hardware» more  DATE 2000»
14 years 2 months ago
An Object Oriented Design Method for Reconfigurable Computing Systems
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...
Martyn Edwards, Peter Green