Retour au site du LAAS-CNRS

Some elements on system design

B.SCHMIEDL, N.SAHRAOUI, T.BLUM, A.E.K.SAHRAOUI

GIP, OCSD, HAND, More, ISI

Rapport LAAS N°00508, Novembre 2000, 20p.

Diffusion restreinte

Ajouter au panier 42017

Now you have the model, what next? From basic issues towards a methodology for microscopic traffic simulation

J.DAHLGREN, A.E.K.SAHRAOUI

PATH, OCSD, ISI

Rapport LAAS N°00461, Novembre 2000, 82p.

Diffusable

Ajouter au panier 41565

Specification and verification of a safety shell with statecharts and extended timed graphs

J.V.KATWIJK, H.TOETENEL, A.E.K.SAHRAOUI, E.ANDERSON, J.ZALEWSKI

Delft, OCSD, Florida, ISI

Manifestation avec acte : 19th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2000), Rotterdam (Pays-Bas), 24-27 Octobre 2000 , N° 00296

Diffusable

Ajouter au panier 41195

Data acquisition, data fusion, and data mining: steps towards an integrated engineering and management system

A.E.K.SAHRAOUI, N.SAHRAOUI

OCSD, More, ISI

Manifestations avec acte à diffusion limitée : 1st Instrumentation & Measurement in Petroleum Applications Conference (IMPAC'2000), Boumerdes (Algérie), 23-24 Octobre 2000, pp.12-17 , N° 00340

Diffusable

Ajouter au panier 41186

Formal specification of a safety shell in real-time control practice

A.E.K.SAHRAOUI, E.ANDERSON, J.VAN KATWIJK, J.ZALEWSKI

OCSD, Florida, Delft, ISI

Manifestation avec acte : 25th IFAC Workshop on Real-Time Programming (WRTP'2000), Palma (Espagne), 17-19 Mai 2000, pp.117-123 , N° 00063

Diffusable

Ajouter au panier 39184

Méthodologie de maintenance dans les systèmes de production manufacturière (approche ingénierie système)

S.LATRECHE, A.E.K.SAHRAOUI

OCSD, ISI

Manifestations avec acte à diffusion limitée : 12ème Colloque National de Sûreté de Fonctionnement, Montpellier (France), 28-30 Mars 2000, pp.473-480 , N° 00165

Diffusable

Ajouter au panier 38754

Spécification de besoin et de validation d'une méthodologie d'ingénierie des systèmes électroniques

L.HELLOUIN, A.E.K.SAHRAOUI

OCSD, ISI

Rapport de Contrat : Contrat de Collaboration de Recherche GIAT Industries, Janvier 2000, 65p. , N° 00026

Non diffusable

Ajouter au panier 37660

Validation & verification: towards a system engineering framework

A.E.K.SAHRAOUI, D.JONES

OCSD, Raytheon

Manifestations avec acte à diffusion limitée : 13th International Conference on Systems Engineering (ISCE'99), Las Vegas (USA), 9-12 Août 1999, pp.SE-315-SE-320 , N° 98464

Diffusable

Ajouter au panier 34753

Using object oriented methods in a system lifecycle process model

T.BLUM, A.E.K.SAHRAOUI

HAND, OCSD

Manifestation avec acte : 14th World Congress of IFAC, Beijing (Chine), 5-9 Juillet 1999, Vol.Q, pp.233-237 , N° 99110

Diffusable

Ajouter au panier 34513

The control kernel: a contribution to reactive systems modelling with VDM

I.TRAORE, A.E.K.SAHRAOUI

OCSD

Manifestation avec acte : 14th World Congress of IFAC, Beijing (Chine), 5-9 Juillet 1999, Vol.Q, pp.245-250 , N° 99050

Diffusable

Ajouter au panier 34477