Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?

Safe Comp 96 ◽  
1997 ◽  
pp. 126-135 ◽  
Author(s):  
J. Voas ◽  
F. Charron ◽  
K. Miller
Keyword(s):  
10.5772/5694 ◽  
2007 ◽  
Vol 4 (2) ◽  
pp. 24 ◽  
Author(s):  
E. Colon ◽  
G. De Cubber ◽  
H. Ping ◽  
J-C Habumuremyi ◽  
H. Sahli ◽  
...  

This paper summarises the main results of 10 years of research and development in Humanitarian Demining. The Hudem project focuses on mine detection systems and aims at provided different solutions to support the mine detection operations. Robots using different kind of locomotion systems have been designed and tested on dummy minefields. In order to control these robots, software interfaces, control algorithms, visual positioning and terrain following systems have also been developed. Typical data acquisition results obtained during trial campaigns with robots and data acquisition systems are reported. Lessons learned during the project and future work conclude this paper.


2014 ◽  
Vol 38 (3) ◽  
pp. 64-75 ◽  
Author(s):  
Eric Lyon ◽  
R. Benjamin Knapp ◽  
Gascia Ouzounian

The mapping problem is inherent to digital musical instruments (DMIs), which require, at the very least, an association between physical gestures and digital synthesis algorithms to transform human bodily performance into sound. This article considers the DMI mapping problem in the context of the creation and performance of a heterogeneous computer chamber music piece, a trio for violin, biosensors, and computer. Our discussion situates the DMI mapping problem within the broader set of interdependent musical interaction issues that surfaced during the composition and rehearsal of the trio. Through descriptions of the development of the piece, development of the hardware and software interfaces, lessons learned through rehearsal, and self-reporting by the participants, the rich musical possibilities and technical challenges of the integration of digital musical instruments into computer chamber music are demonstrated.


1997 ◽  
Vol 3 (4) ◽  
pp. 317-345 ◽  
Author(s):  
JOSÉ M. GOÑI ◽  
JOSÉ C. GONZÁLEZ ◽  
ANTONIO MORENO

We present a lexical platform that has been developed for the Spanish language. It achieves portability between different computer systems and efficiency, in terms of speed and lexical coverage. A model for the full treatment of Spanish inflectional morphology for verbs, nouns and adjectives is presented. This model permits word formation based solely on morpheme concatenation, driven by a feature-based unification grammar. The run-time lexicon is a collection of allomorphs for both stems and endings. Although not tested, it should be suitable also for other Romance and highly inflected languages. A formalism is also described for encoding a lemma-based lexical source, well suited for expressing linguistic generalizations: inheritance classes, lemma encoding, morpho-graphemic allomorphy rules and limited type-checking. From this source base, we can automatically generate an allomorph indexed dictionary adequate for efficient retrieval and processing. A set of software tools has been implemented around this formalism: lexical base augmenting aids, lexical compilers to build run-time dictionaries and access libraries for them, feature manipulation libraries, unification and pseudo-unification modules, morphological processors, a parsing system, etc. Software interfaces among the different modules and tools are cleanly defined to ease software integration and tool combination in a flexible way. Directions for accessing our e-mail and web demonstration prototypes are also provided. Some figures are given, showing the lexical coverage of our platform compared to some popular spelling checkers.


Sign in / Sign up

Export Citation Format

Share Document