Sciweavers

165 search results - page 29 / 33
» Safety Interfaces for Component-Based Systems
Sort
View
CBSE
2005
Springer
14 years 7 days ago
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Di...
TSE
2008
99views more  TSE 2008»
13 years 6 months ago
Modular Information Hiding and Type-Safe Linking for C
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
Saurabh Srivastava, Michael Hicks, Jeffrey S. Fost...
RTAS
2005
IEEE
14 years 8 days ago
Out-of-Norm Assertions
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
Philipp Peti, Roman Obermaisser, Hermann Kopetz
SCCC
1999
IEEE
13 years 11 months ago
Safe-Threads: A New Model for Object-Oriented Multi-Threaded Languages
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
Luis Mateu, José M. Piquer
ICRA
2010
IEEE
151views Robotics» more  ICRA 2010»
13 years 4 months ago
A robust, low-cost and low-noise artificial skin for human-friendly robots
As robots and humans move towards sharing the same environment, the need for safety in robotic systems is of growing importance. Towards this goal of human-friendly robotics, a rob...
John Ulmen, Mark R. Cutkosky