Page 95 - ANNUAIRE AEROSPACE - 2017 - By BUCEREP

ARGOSIM SA

Argosim est un Editeur indépendant qui fournit des outils Who We Are: Argosim is a software vendor that provides

innovants pour modéliser, mettre au point and valider les innovative tools to edit, debug, and test real-time systems

exigences des systèmes temps réels, de la phase de spécification requirements, from specification to software-in-the-loop

à la phase de validation système. validation

Notre solution STIMULUS permet: What We Do: Argosim STIMULUS is a modeling and simulation

1. De formaliser les exigences sous la forme de phrases très tool that enables system architects to find ambiguous,
proches de la langue naturelle, d’automates et de diagrammes incomplete or conflicting requirements while drafting
fonctionnels ;
specifications.
2. Ensuite, de générer des traces montrant l’évolution des
variables du système spécifié par les exigences formalisées ; Who We Serve: We help system integrators from safety-critical 2
domains to make requirements right the first time and save
3. En observant ces traces, de détecter les ambiguïtés, erreurs, costly iterations of software development processes.
incohérences et incomplétudes du cahier des charges ;

4. De générer, à partir des modèles STIMULUS, des tests à utiliser

plus tard, lors de la phase de validation du système.

8-10 Rue de Mayencin CONTACT NB SALARIÉS / EMPLOYEES CERTIFICATIONS
38400 SAINT MARTIN Yves GÉNEVAUX, 14 AGRÉMENTS / QUALIFICATIONS
D’HERES - FRANCE Sales Director CA ANNUEL / TURNOVER NC
T +33 (0)9 84 22 47 02 E MAIL 400k€ en 2016, 900 k€
WEB info@argosim.com prévus en 2017
www.argosim.com

ARIA ELECTRONIQUE

Aria est un industriel de production électronique sous exigences Aria is an EMS specialized in printed circuits, cable and wire

normatives, spécialiste des marchés aéronautique, défense, harness assembly and a specialist in critical environments

nucléaire et industriel. including aviation, defense and nuclear industries.

Notre offre globale comprend l’industrialisation, les achats,la Our offer includes purchasing, manufacturing, test and
fabrication, le test et l’intégration de petites, moyennes séries integration of electronic equipment.
et prototypes.

Nous maîtrisons l’assemblage de cartes électroniques et le
câblage filaire. Nos équipements de production récents (Ligne
CMS, vague, AOI, testeurs filaire et sonde mobile, enceinte de
déverminage, coupe et dénudage de câble automatisés…) vous
garantissent les fabrications complexes et notre système ERP
nous permet d’assurer la traçabilité complète des composants.

La réactivité et la flexibilité d’Aria permettent de réaliser des
ensembles complets avec des délais très courts.

Parc Technologique CONTACT NB SALARIÉS / EMPLOYEES CERTIFICATIONS
Delta Sud Guillaume SENSEBY 37 AGRÉMENTS / QUALIFICATIONS
9340 VERNIOLLE - FRANCE Responsable Commercial CA ANNUEL / TURNOVER EN9100, ISO 9001, UL
T +33 (0)5 81 30 30 00 E MAIL 3 M€
WEB guillaume.senseby@
www.ariaelectronique.fr ariaelectronique.fr

-93-