novasys-ingenierie.com
Industrie
http://www.novasys-ingenierie.com/index.php/realisations/industrie
Novasys et le Groupe. Virtualisation sur système embarqué. Virtualisation sur plateforme embarqué ARM d'un OS temps réel et d'un système Linux. Pour atteindre cet objectif, l'hyperviseur libre L4RE associé au micro-noyau Fiasco.OC a été implémenté. Mise en œuvre de l'hyperviseur libre L4RE. Mise en œuvre d'un système Linux virtualisé. Portage de l'OS temps réel µC/OS II. Gestion des machines virtuelles (Priorité de chaque OS, contrôle des accès mémoire, .). Linux, OS temps réel µC/OS II. La parfaite conn...
adalog.fr
Adalog: conseil
http://www.adalog.fr/fr/conseil.html
La société. Présentation du langage. Adassistance, votre assurance Ada. Vous avez besoin d'un "coup de pouce" dans vos développements Ada? Pour un montant forfaitaire, Adalog vous propose le contrat Adassistance :. Deux jours de conseil sur place pour bien connaître votre projet et faire une revue de conception. Un an de "hot-line" Ada pour répondre à toutes vos questions. Des tarifs réduits sur les journées de conseil supplémentaire. Règles de codage. V le papier de J-P Rosen. Le succès d'un proj...
adalog.fr
Cours ASIS
http://www.adalog.fr/fr/formation_asis.html
La société. Présentation du langage. Développement d'outils avec ASIS (2 jours). Développement d'outils avec ASIS (2 jours). Tarif, prochaines dates. Programme détaillé. ASIS permet, sans avoir à écrire de nouvel analyseur, de développer facilement des outils tels que:. Vérificateur de règles de style et de codage. Outils de transformations sémantiques. Analyseur de graphe d'appel, de graphe de dépendance. Générateurs de documentation. Outils de métrique et de contrôle qualité. Notion d'environnement....
adalog.fr
Cours Ada
http://www.adalog.fr/fr/formation_ada.html
La société. Présentation du langage. Formation Ada complète (6 jours). Formation Ada complète. Tarif, prochaines dates. Programme détaillé. L'objectif de cette formation est de fournir une vue globale complète du langage et de l'état d'esprit qui l'accompagne. Il couvre Ada 83, Ada95 et présente les nouvelles fonctionnalités apportées par Ada 2005/2012. Pour des raisons d'efficacité pédagogique, le nombre de participants à chacune des sessions est limité à 10. Programme détaillé. Les bases du langage.
adalog.fr
Adalog: page d'accueil
http://www.adalog.fr/index.htm
La société. Présentation du langage. Adalog: les spécialistes du langage Ada. ADALOG est la référence pour toutes les prestations Ada. L'outil libre de vérification de règles de codage. Rechercher sur le site Adalog avec. Adalog partenaire du groupe Pacte-Novation. Animée par J-P. Rosen, expert indépendant de tout constructeur, Adalog. De plus, Adalog est un laboratoire agréé. Pour la validation de compilateurs Ada. Plus de détails ici. Pour toutes autres informations :. Le groupe Pacte Novation. Est r&e...
novasys-ingenierie.com
Aéronautique
http://www.novasys-ingenierie.com/index.php/realisations/aeronautique
Novasys et le Groupe. Dans ce domaine par excellence, les enjeux spécifiques du logiciel embarqué trouvent leur pleine signification . Comprendre le métier du client et respecter les enjeux de sécurité. Signalisation ferroviaire, systèmes de navigation, systèmes de défense, liaisons de données tactiques, supervision nucléaire, . Appliquer des processus de développement rigoureux. Connexes à l"expérience "Systèmes Sécuritaires". Cycle de développement rigoureux soumis à contrôle qualité. Suivez nous sur :.
novasys-ingenierie.com
Actualité
http://www.novasys-ingenierie.com/index.php/actualite
Novasys et le Groupe. Novasys est présente aux assises de l'embarqué . Novasys Ingénierie s’intéresse aux hyperviseurs. Novasys participe aux forums d'école. Novasys participe aux forums d'école. Encore, Novasys Ingénierie participera à de nombreux forums d'école d'ingénieurs traitant de l'informatique embarquée. Novasys sera donc présent au prochain forum EPITA le 15 octobre 2015. D'autres forums d'importance suivront! Novasys est présente aux assises de l'embarqué . Par quels moyens : réguler? Remise d...
novasys-ingenierie.com
Partenaires
http://www.novasys-ingenierie.com/index.php/partenaires
Novasys et le Groupe. Sélectif de Novasys Ingénierie et du groupe Pacte Novation avec des éditeurs de premier plan. Un leader mondial pour les environnements de type HYPERVISEUR/ RTOS. Embarqués, sécuritaires et certifiables. Avec le produit PikeOS. Premier fournisseur mondial d’environnements de développement. Maîtrise à disposition de familles d'outils puissants tels que Doors, Rhapsody, Rose, RTRT. Spécialiste dans les domaines du langage Ada, des méthodes de conception et génie logiciel,. Les produit...
SOCIAL ENGAGEMENT