To see the other types of publications on this topic, follow the link: Langage ADA.
Dissertations / Theses on the topic 'Langage ADA'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Langage ADA.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Ogor, Robert. "Spécification opérationnelle en ADA d'un noyau pour le langage ADA." Rennes 1, 1985. http://www.theses.fr/1985REN10012.
Full text
2
Nekkache, Mabrouk. "Système de programmation parallèle OCCAM / ADA." Lyon, INSA, 1987. http://www.theses.fr/1987ISAL0063.
Full textAbstract:
La conception d'algorithmes parallèles pose des problèmes délicats, tels que la décomposition d'un système en sous-système parallèles, la synchronisation entre ces sous-systèmes, et l'exclusion mutuelle pour les données partageables, problèmes dus essentiellement à une vue de la programmation différente de celle de la programmation séquentielle. Pour se familiariser avec le parallélisme, la théorie et le matériel ne suffisent pas. Il est nécessaire de pratiquer et donc de disposer tout d'abord d'outils de familiarisation, de conception et de développement d'algorithmes parallèles, ensuite d'exécutif et éventuellement de vérificateur. En ce qui concerne l'expression du parallélisme, le langage OCCAM semble être adéquat; quant à l'exécutif nous avons exploré différentes solutions y compris celle offerte par ADA. Le système que nous avons développé autour de ces langages peut être considéré comme une aide à la spécification et au développement d'application temps réel en Ada<br>Designing parallel algorithms involves tricky features, as spitting systems in smaller parallel systems, synchronizing of the components, mutual exclusion on shared variables, all problems due to a view on programming as a scheduling activity rather than a sequencing one. Beyond hardware and theory, parallelism must be a know-how. So we need tools to study and practice. Occam seems a good basis, Ad a a most frequent one. So we have developed a translator from Occam to Ada, written in Ada, and the corresponding running environment. More than being a tool for study and practice parallel algorithms, first experiences suggest using tool as a practical mean of specify in Occam real-time later produced in Ada
3
Bekele, Dawit. "Contribution à l'étude de la répartition d'applications écrites en langage ADA 83." Toulouse 3, 1994. http://www.theses.fr/1994TOU30069.
Full textAbstract:
De nombreux problemes ont ete rencontres lors de l'utilisation du langage ada dans la programmation d'applications destinees aux systemes repartis. L'objectif de cette these est de fournir des solutions a certains problemes. Le premier chapitre detaille les objectifs de la these et introduit son contenu. Le second chapitre presente les systemes repartis et les langages qui leur sont dedies. Un etat de l'art de l'utilisation du langage ada dans le cadre de la repartition constitue le troisieme chapitre. Le quatrieme chapitre presente les principaux choix du projet strada sur lequel s'appuie le travail de cette these. Le chapitre suivant est consacre a l'etude de chacun des problemes qui decoulent des choix effectues dans le projet et a la presentation des solutions proposees. Le dernier chapitre fait un bilan de ce travail et de son apport dans la realisation d'applications reparties. Deux choix importants ont ete faits dans le cadre de ce travail. Le premier consiste a l'utilisation du modele des taches ada pour exprimer le parallelisme logique, la synchronisation et la communication entre unites paralleles d'une application repartie. Le deuxieme choix concerne l'adoption d'un modele de programmation en deux phases. Dans la premiere phase, les fonctionnalites et le parallelisme logique de l'application repartie sont programmes en ada. Dans la seconde phase de programmation, le programmeur peut eventuellement decider du placement des differentes taches. De plus, ce projet a permis une etude approfondie du probleme de la terminaison des taches dans un cadre reparti. Un algorithme specifique a ete defini et valide
4
Lucas, Damien. "Méthode des éléments finis et programmation orientée objet : utilisation du langage Ada." Châtenay-Malabry, Ecole centrale de Paris, 1994. http://www.theses.fr/1994ECAP0351.
Full textAbstract:
Ce mémoire est essentiellement consacré à la programmation orientée objet pour la méthode des éléments finis. L'étude vise à décomposer la programmation d'un code d'analyse numérique par éléments finis en différentes classes d'objets autonomes communiquant par messages. Le comportement de ces classes est précisé par des spécifications formelles. La traduction informatique utilise le langage Ada. Le polymorphisme et la liaison dynamique sont artificiellement introduits pour simuler un véritable langage objet avec Ada. La représentation des éléments est originale puisqu'elle utilise la représentation par frontières (B-Rep). La hiérarchie de classes d'éléments proposée est fondée sur une classification suivant quatre caractéristiques: la topologie, la géométrie, la cinématique et le comportement énergétique des éléments. On donne en exemple la programmation de deux éléments finis très différents l'un de l'autre: un élément de volume a 8 nœuds en petits déplacements, petites déformations avec loi de Hooke, ainsi que un élément de coque a 9 nœuds en grandes rotations, grandes déformations avec loi en résultantes curvilignes. On introduit les classes point de Gauss, collection de points de Gauss, fonction de forme et degré de liberté. Tout comme les éléments et les nœuds, ces derniers ne possèdent pas de numéros; la connectivité est réalisée par pointeurs ou par tables de hachage. Une hiérarchie de classes matrice globale est présentée, ainsi qu'une hiérarchie de loi de comportement. On définit également un certain nombre de classes de haut niveau telles que maillage, domaine, sollicitations, graphe de DDLS, numéroteur, allocateur de matrice, système linéaire sur les DDLS, solveur non linéaire, solveur dynamique et problème
5
Alimazighi, Zaia. "Conception et spécification de systèmes d'information : analyse comparative de méthodes et utilisation du langage Ada." Paris 6, 1986. http://www.theses.fr/1986PA066197.
Full text
6
Levi, Daniel. "Problèmes de réutilisation liés au typage application à une extension du langage ADA." Grenoble : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37593828c.
Full text
7
Traoré, Mamadou Kaba. "Simulation distribuee des systemes discrets a partage de ressources avec le langage ada." Clermont-Ferrand 2, 1992. http://www.theses.fr/1992CLF21477.
Full textAbstract:
Ce travail s'inscrit dans le domaine de l'evaluation des performances des systemes discrets a partage de ressources. L'objectif a atteindre est l'ecriture en langage ada d'un logiciel de simulation des modeles a reseaux de files d'attente. Les fonctionnalites de ce logiciel sont construites en suivant la demarche suivante: - realisation des primitives de description de la configuration et du fonctionnement des modeles des systemes a etudier, - creation du modele d'action du logiciel, - simulation du modele d'action et evaluation des performances de ce modele. La solution realisee utilise les mecanismes temps reel du langage ada. Le modele simule est un ensemble de processus paralleles qui interagissent par envois de messages pour produire le comportement global du systeme. Un algorithme simple place dans chaque processus determine l'echeance a laquelle doit avoir lieu le prochain evenement dans ce processus, et permet de faire avancer le temps de simulation indique par une horloge globale qui assure l'execution synchrone de tous les processus. La definition de composants logiciels reutilisables et la garantie des proprietes de genie logiciel ont ete prise en compte. L'efficacite de cette realisation a ete testee sur des modeles dont les performances ont deja ete evaluees grace a d'autres outils
8
Lévi, Daniel. "Problèmes de réutilisation liés au typage : application à une extension du langage ADA." Nice, 1988. http://www.theses.fr/1988NICE4167.
Full textAbstract:
Les relations entre types sont un point clé des langages de programmation. Elles caractérisent les possibilités de réutilisation, par exemple dans le polymorphisme et la programmation orientée objet. Une implémentation est proposée par création d’opérations. Présentation de procédés originaux d'instanciation automatique de génériques et de résolution de surcharge par le contexte, utilisant un ordre sur les relations entre types. Le résultat est un vérificateur de types, capable d'instancier automatiquement les opérations réutilisées
9
Langlois, Philippe. "ADA et calcul scientifique : qualité numérique des fonctions élémentaires." Toulouse 3, 1990. http://www.theses.fr/1990TOU30238.
Full textAbstract:
La qualite numerique des fonctions elementaires est analysee a travers l'etude de leur definition en ada et en fortran, la mise en uvre de leur calcul et des procedures de controle. Des tests realises sur un ensemble d'implantations significatifs de la pratique industrielle permettent une appreciation nuancee de la qualite actuellement disponible et, plus generalement, de l'apport d'ada en calcul scientifique
10
Sallez, Yves. "Conception d'un système de programmation hors ligne de cellules robotisées intégrant le langage ADA." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37618415n.
Full text
11
Sallez, Yves. "Conception d'un système de programmation hors ligne de cellules robotisées intégrant le langage ADA." Valenciennes, 1988. https://ged.uphf.fr/nuxeo/site/esupversions/3941307a-1d5e-4e41-8bd2-65df2a934515.
Full textAbstract:
Le système incluant les phases de description, programmation et simulation doit respecter les contraintes de modularité, prise en compte du parallélisme des activités au sein de la cellule, communication homme-machine. Un modèle conceptuel, décrivant les aspects fonctionnels, matériels et les caractéristiques de commande de la cellule, sert de base au modèle de description.
12
Koukam, Abder. "Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus." Nancy 1, 1990. http://www.theses.fr/1990NAN10481.
Full textAbstract:
Le travail présenté dans cette thèse s'inscrit dans le cadre d'une démarche méthodique pour la construction de systèmes parallèles. L'idée de base est de définir de tels systèmes comme un ensemble d'entités manipulant des suites de données, entre lesquelles des relations dites de communication sont spécifiées. Pour concevoir les solutions déduites de cette démarche, un langage d'expression de systèmes parallèles est proposé. Ce langage est caractérisé par : une expression abstraite des relations de communication en termes de types abstraits algébriques appelés types de communication. Une conception modulaire fondée sur la séparation de la description des communications de l'écriture de processus. Notre premier objectif est d'élaborer une démarche pour automatiser la transformation des types ce communication en programmes Ada. Mais la distance est grande entre cette expression abstraite et statique de la communication et le programme final dynamique et efficace. Aussi avons-nous été conduit à décomposer le processus de transformation en plusieurs étapes fondées sur des règles de transformation. Deux classes de règles sont ainsi mise en évidence : les règles
13
Dupeux, Arnaud. "Spécification et implantation de protocoles OSI : une expérience de la couche transport dans le langage ADA." Bordeaux 1, 1986. http://www.theses.fr/1986BOR10527.
Full textAbstract:
Validation des protocoles, amelioration des algorithmes existants. Specification et description detaillees d'une entite de transport osi, gestion des conflits et des evenements, proposition d'un modele. Langage ada et ses possibilites pour exprimer des phenomenes paralleles; application: programmation de l'architecture de la couche transport osi
14
FORNARINO, CLAUDE. "Objectivada : une extension objet du langage ada. application a un environnement pour la conception de systemes-experts." Nice, 1991. http://www.theses.fr/1991NICE4475.
Full textAbstract:
Cette these est une etude prospective qui se situe dans le cadre des techniques et environnements de la programmation avancee. Elle est motivee par l'existence d'un fosse entre d'une part, les techniques de structuration des langages modulaires comme ada, et d'autre part, les mecanismes de la programmation par objets. Dans ce memoire, conscient des avantages de la programmation par objets tant au niveau de l'organisation des programmes que de la reutilisation ou de la flexibilite d'ecriture, nous definissons objectivada. C'est une extension du langage ada qui integre les mecanismes des langages a objets (classes, methodes, heritage et envoi de messages), tout en assurant une triple compatibilite (syntaxique, semantique et methodologique) avec ada. Objectivada est implemente par un preprocesseur qui genere du code ada. Nous montrons que les resolutions de l'heritage, du typage et de la surcharge ne peuvent etre traitees separement. Aussi proposons nous une extension de l'algorithme de surcharge ada: la h-surcharge. Cette generalisation de la surcharge permet de resoudre des problemes qui n'ont pas de solution en c++, pour un surcout minimal. D'autres part, par la semantique naturelle, nous exprimons la traduction du code objectivada vers ada, et la semantique operationnelle de notre modele. Cette derniere est basee sur le concept de l'extension lineaire de clos et sur la definition d'une relation d'ordre sur le systeme de types. Le developpement de trois applications valide objectiveada: la definition d'objectivada en objectivada, la realisation d'un environnement graphique pour l'edition de programmes objectivada et l'ecriture d'un generateur de systemes-experts en objectivada. Ces applications permettent de situer objectivada a la confluence du genie logiciel et l'intelligence artificielle
15
Bernard, Luc. "Développement d'un jeu de structures de données et de contraintes sémantiques pour la compilation(séparée) du langage ADA." Doctoral thesis, Universite Libre de Bruxelles, 1985. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/213624.
Full text
16
Dekeyser, Jean-Luc. "Architectures et algorithmes parallèles pour les méthodes Monte-Carlo en physique des particules." Lille 1, 1986. http://www.theses.fr/1986LIL10075.
Full textAbstract:
La simulation en physique des particules est un gros consommateur de temps CPU. De plus, la plupart des logiciels de simulation existants ont été écrits en FORTRAN pour des machines séquentielles. Aussi avons-nous voulu développer de nouveaux algorithmes pour des architectures présentant un aspect parallèle. Une implémentation de type multi-événements a été étudiée et complètement réalisée sur une architecture de type maître/esclaves. Nous poursuivons par l'étude de la vectorisation des algorithmes de simulation, la partie géométrique a été vectorisée et testée sur un CYBER 205. Enfin, une approche Ada pour ce type de problème, avec les notions de type d'objets, de paquettage générique et de multi-tâches est ensuite présentée.
17
BOIS, HUGUETTE. "Specification du macao : une methode de developpement de logiciels fondee sur le concept d'objet et exploitant le langage ada." Toulouse 3, 1989. http://www.theses.fr/1989TOU30133.
Full textAbstract:
Macao (methode d'analyse et de conception ada orientee objet) est une methode qui permet la conduite de projets informatiques en assurant un suivi a chaque etape du cycle de vie du logiciel par un controle des regles de validation des criteres et contraintes du projet. Elle est particulierement adaptee pour les gros logiciels scientifiques et techniques necessitant un developpement reparti. Issue de l'experience acquise par l'etude et la pratique de methodes logicielles telles que sadt (structured analysis and design technique)*, hood (hierarchical object oriented design), macao integre les techniques d'analyses structurees (ascendantes et descendantes) et de conception orientee objets objets (coo), dont les principes sont encourages et renforces par l'utilisation du langage ada. Ada est utilise comme un langage de specification afin de valider la conception. *mach (methode d'analyse et de conception hierarchisee)
18
Kordon, Fabrice. "Prototypage de systemes paralleles a partir de reseaux de petri colores, application au langage ada dans un environnement centralise ou reparti." Paris 6, 1992. http://www.theses.fr/1992PA066202.
Full textAbstract:
L'objet de cette these est le prototypage de systemes paralleles a partir d'une specification exprimee a l'aide de reseaux de petri colores. Le prototypage pose deux problemes majeurs: 1) il faut interpreter la specification d'un systeme. Pour cela, une analyse structurelle mais egalement semantique est necessaire. Nous presentons differentes etudes sur les techniques d'interpretation d'un reseau de petri avant de proposer la notre, basee sur le degre de parallelisme optimal d'un reseau de petri, 2) il faut interfacer le prototype dans son environnement d'execution. Nous presentons deux outils de prototypage, realises a partir de formalismes differents, proposant des solutions interessantes que nous adaptons au cas des reseaux de petri. Nous proposons alors une methodologie de prototypage, repondant aux problemes que nous avons identifies: 1) interpretation des specifications: nous definissons un algorithme base sur la connaissance des invariants du reseau de petri, qui permet de decomposer le systeme en fonctionnalites types d'ou seront issus les differents composants du prototype, 2) integration du prototype dans son environnement: nous introduisons la notion de composant externe, qui permet de formaliser la separation entre le modele d'un systeme et la representation de l'environnement dans lequel il evolue. Nous decrivons ensuite la specification fonctionnelle du prototype que nous generons. Notre specification est applicable a tout langage cible procedural permettant de manipuler le parallelisme. Nous avons choisi le langage ada pour appliquer notre methode de prototypage. En effet, il implemente des concepts interessants (paquetage, gestion intrinseque du parallelisme. . . ) permettant de mettre en uvre notre technique. Nous decrivons deux types de prototypes: centralises (pseudo-parallelisme sur une machine monoprocesseur) ou reparti (parallelisme effectif sur un ensemble de machines mono-processeur interconnectees en reseau). Le prototype reparti est construit a partir du prototype centralise par ajout (sans modification de la specification fonctionnelle) de services lies a la repartition. Enfin, nous avons realise un outil permettant, dans l'environnement ami, la generation automatique de prototypes centralises
19
Kubek, Jean-Marie. "Introduction des réseaux à prédicats contraints. Instanciation au domaine temporel et application à la maîtrise des aléas sémantiques ADA." Toulouse, INSA, 1994. http://www.theses.fr/1994ISAT0022.
Full textAbstract:
Les travaux presentes dans cette these portent sur l'etude des indeterminismes de mise en uvre des applications temps-reel ada. Dans la premiere partie de ce memoire, nous presentons une revue des constructions temps-reel du langage ada susceptibles d'entrainer des variations de comportement pour les applications ou elles sont utilisees. La modelisation et l'etude des aleas d'implantation du langage ada rendent necessaires la definition d'une nouvelle classe de reseaux de petri: les reseaux a predicats contraints. Nous montrons que la modelisation des aspects relatifs a la mise en uvre des applications, independamment d'un executif particulier, necessite l'expression de proprietes ou contraintes qui doivent etre associees aux jetons du reseau. La presentation du modele des reseaux a predicats contraints est effectuee de maniere generique, independamment du domaine sur lequel sont exprimees les contraintes. Nous introduisons ensuite une instanciation particuliere sur un domaine numerique: les reseaux a predicats contraints temporels. Cette instance permet d'associer, sous certaines conditions, des informations temporelles aux jetons. Il est alors possible de conditionner de maniere explicite le fonctionnement des reseaux sur ces informations temporelles. Un exemple d'application des reseaux a predicats contraints temporels est presente dans la derniere partie du memoire. Cet exemple fournit une demonstration des possibilites de modelisation du formalisme relativement a l'etude des aleas d'implantation du langage ada
20
Millan, Thierry. "Ada et les systèmes orientés objets : les environnements persistants au travers d'un système de gestion de bases de données orienté objets." Toulouse 3, 1995. http://www.theses.fr/1995TOU30138.
Full textAbstract:
Les nouvelles applications exigent d'une part, des fonctions de traitement et, d'autre part, des fonctions de stockage et de manipulation de gros volumes de donnees complexes. Par ailleurs, elles doivent pouvoir s'interconnecter de facon a echanger des informations, d'ou la necessite d'utilisation de normes. Dans cette these, nous proposons l'etude et la realisation d'une passerelle entre un langage de haut niveau pour le traitement des donnees (ada) et un sgbd pour leur stockage, leur manipulation et leur echange. En effet, le langage ada a ete concu et realise pour le developpement d'applications industrielles, soumises en consequence a de fortes contraintes telles que la generation d'executables performants et la garantie d'une securite maximale a l'execution. De plus, il existe de nombreuses methodes de conception pour ce langage normalise iso. Le sgbd choisi est oriente objets et suit la norme odmg. Il est ainsi parfaitement adapte au stockage et a la manipulation de donnees complexes. Afin que cette passerelle reste transparente a l'utilisateur, nous definissons l'environnement global des donnees en ada et dans le sgbdoo comme l'ensemble des triplets <identificateurs, types, donnees>. A partir de cet ensemble, nous montrons comment isoler en ada l'environnement persistant, c'est-a-dire le sous-ensemble des triplets qui perdurent a la fin de l'execution d'un programme. De plus, nous proposons une solution de simulation de l'heritage et de la liaison dynamique dans des applications ada utilisant des donnees issues d'un sgbdoo. Pour finir, nous presentons le prototype d'une passerelle entre ada et le sgbdoo 02 qui valide l'etude
21
Youssefi, Abdelhakim El. "Conception et réalisation d'un système de gestion de base de données suivant un modèle objet : sgbd saad." Valenciennes, 1989. https://ged.uphf.fr/nuxeo/site/esupversions/15cd2400-18e9-4918-bb42-2da410672996.
Full textAbstract:
Proposition d'un modelé objet reposant sur des concepts simples et puissants (classe, bien, agrégation, héritage) qui font de ce modelé un bon outil de modélisation : le monde réel peut être représenté de manière naturelle et intuitive. Les fonctionnalités du système de gestion de base de données SAAD développés autour du modèle proposé sont ensuite décrites. L'implantation du système en langage ADA est présentée ainsi qu'une architecture multi-utilisateur utilisant le parallélisme ADA.
22
Lebib, Riadh. "Incidences de la mise en oeuvre des concepts du génie logiciel à travers l'utilisation du langage de programmation ADA sur la productivité informatique de gestion." Paris 9, 1993. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1993PA090059.
Full textAbstract:
Le célèbre psycholinguiste Benjamin Whorf observait que les langages peuvent avoir une influence importante sur les processus de pensée, même s'ils ne déterminent pas l'intégralité de ces processus. L'objectif de cette thèse est de démontrer les plus-values des concepts du génie logiciel à travers leur mise en oeuvre dans le langage de programmation ADA en informatique de gestion. Il ressort des travaux de Reifer qu'il est difficile de distinguer les plus-values d'ADA de celles des concepts du génie logiciel. Il a observé à travers les applications ADA qu'une attention particulière est nécessaire pour la conception ; le résultat est que les erreurs sont détectées tôt dans le cycle de développement. Ces résultats sont dus principalement à la mise en oeuvre des concepts du génie logiciel qu'au langage ADA. On traite dans ce travail des sujets suivants: 1) productivité ADA en développement; 2) productivité ADA en maintenance; 3) productivité ADA en portabilité; et 4) les solutions ADA en informatique de gestion (réutilisation, sgbd orientés objets, etc. . . ). Notre contribution principale est au niveau des plus-values économiques du langage ADA en informatique de gestion. En effet, il est admis aujourd'hui que la productivité baisse lorsque la taille d'un programme augmente : cette règle n'est pas valable en ADA. Nous avons remarqué que la productivité augmente quand la taille d'un programme, et par conséquence sa complexité, augmente
23
Evangelista, Sami. "Méthodes et outils de vérification pour les réseaux de Petri de haut niveau : Application à la vérification de programmes Ada concurrents." Paris, CNAM, 2006. http://www.theses.fr/2006CNAM0543.
Full textAbstract:
Cette thèse s'inscrit dans le cadre de la vérification automatique de programmes concurrents basée sur un modèle formel intermédiaire, les réseaux de Petri colorés. Nous nous attachons particulièrement à définir, ou adapter, des méthodes qui visent à lutter contre le phénomène d'explosion combinatoire induit par les algorithmes d'exploration du graphe d'accessibilité. Nous oeuvrons pour cela à deux niveaux : au niveau structurel, par des techniques d'abstraction du modèle, et au niveau sémantique, par des techniques de réduction du graphe d'accessibilité du système. Afin de valider l'intérêt pratique des techniques proposées nous les avons implantées dans deux outils : Helena un model checker pour les réseaux de Petri de haut niveau et Quasar une plate-forme pour la validation de programmes Ada concurrents<br>This thesis enters in the frame of the automatic verification of concurrent software based on an intermediary formal language, colored Petri nets. We particularly endeavor to define, or adapt, methods which aim at tackling the state explosion induced by an exhaustive exploration of the state space. We work at two levels : at a structural level, by defining some automatic automatic abstraction rules of the model, and at a semantic level, by reducing the reachabiblity graph of the system. In order to validate the practical interest of the proposed techniques we implemented them in two tools: Helena a model checker for high level Petri nets and Quasar, a platform for the verification of concurrent Ada software
24
Marpinard, Alain. "Effets des mécanismes d'exception sur la structure des logiciels : Application aux systémes ADA sûrs de fonctionnement." Toulouse, INSA, 1993. http://www.theses.fr/1993ISAT0004.
Full textAbstract:
La conception de systemes complexes necessite une decomposition du probleme en plusieurs sous-problemes, resolus separement. Un logiciel est ainsi generalement concu comme une hierarchie fonctionnelle de sous-systemes modulaires. Cette hierarchie se retrouve egalement dans l'architecture du logiciel, du fait des constructions syntaxiques utilisees. La conception d'application distingue frequemment la definition d'un comportement habituel de l'application de celle d'un comportement exceptionnel, a la fois dans le temps et dans la localisation. Le but de notre etude consiste a evaluer les consequences d'une prise en compte distincte des evenements exceptionnels sur la structure d'une application logicielle prealablement definie. L'architecture etablie ayant ete conditionnee par la conception du traitement courant, elle pourra etre remise en cause lorsque les traitements exceptionnels seront consideres. Le concepteur doit disposer de moyens permettant de maitriser ces evenements (moyens d'eviter leur apparition, ou moyens de detection et de reaction). Apres avoir rappele les principes et techniques de la surete de fonctionnement, en etudiant principalement les aspects structurels, nous comparons les mecanismes d'exception de divers langages de programmation en degageant leurs caracteristiques communes vis-a-vis de la structure des programmes les utilisant. Cette synthese nous permet de mettre en evidence les caracteristiques du langage ada par rapport a son mecanisme d'exception utilise pour implanter les traitements d'evenements exceptionnels specifies. Les difficultes rencontrees et l'importance des modifications de traitements nous ont conduit a etudier et a implanter un prototype d'aide a l'evaluation des consequences de la prise en compte d'un evenement exceptionnel sur la structure syntaxique. Cette etude est basee sur le graphe de controle de l'application d'origine et sur les modifications de structure engendrees pour l'obtention du comportement exceptionnel souhaite. Les utilisations, extensions ou ameliorations possibles de cet outil sont ensuite developpees, concluant notre redaction
25
Taghboulit, Sid-Ali. "Contribution à La définition d'un modèle orienté objet pour le SGBD SAAD." Valenciennes, 1993. https://ged.uphf.fr/nuxeo/site/esupversions/d177f1a2-d5ea-4cca-8169-7ada17f8c56b.
Full textAbstract:
L'apparition de nouveaux domaines d'utilisation de bases de données (BdD), tels que la productique intégrée, nous a conduits à concevoir et réaliser le système de gestion de base de données (SGBD) SAAD, base sur un modèle sémantique. Nous avons ensuite entrepris d'étendre le SGBD SAAD vers un modèle orienté objet. Cette thèse présente le SGBD SAAD, puis la définition de sa version orientée objet. Apres une revue des modèles de BdD sémantiques nous présentons notre SGBD dans sa première version. L'absence de consensus sur le modèle de BdD orienté objet, ajoutée à l'intégration accrue des techniques d'IA dans le processus de développement d'application nous a conduits à définir un nouveau modèle de données orienté objet pour le SGBD SAAD ainsi que l'héritage du langage qui le supporte. Parmi les concepts exposés; l'héritage partiel et la fixation d'attribut ont constitué le sujet d'une étude particulière. Nous présentons également dans cette thèse quelques aspects de la mise en œuvre du SGBD SAAD, parmi lesquelles une technique stockage d'objets complexes, le code ADA génère par la partie relative au langage, ainsi que les versions d'objets seront également concernés.
26
Ajila, Samuel Adesoye. "Maintenance logicielle : analyse d'impact, problématique et mise en oeuvre." Nancy 1, 1995. http://docnum.univ-lorraine.fr/public/SCD_T_1995_0029_AJILA.pdf.
Full textAbstract:
Notre travail concerne l'évaluation a priori de l'impact des changements réalisés sur les objets logiciels. Il est parfois difficile de comprendre toutes les conséquences d'un changement et de garantir qu'il n'y aura pas d'effets de bord gênants au niveau de l'ensemble du système logiciel. Il est donc utile d'apporter une aide à la décision de changement permettant de comprendre et d'analyser un changement avant de le faire. En particulier on doit prendre en compte la complexité des liens qui existent entre les différents composants logiciels. Pour tenir compte des conséquences d'un changement donné, il faut avoir une connaissance précise sur les liens entre les objets logiciels et analyser l'impact du changement. Pour cette raison, nous avons étudié les caractéristiques souhaitables d'une analyse d'impact qui permettront de comprendre, de comparer, et d'évaluer des approches différentes et nous proposons un cadre générique d'analyse d'impact. Ce cadre générique comporte trois parties : une approche d'analyse d'impact, la structure de cette approche, et la mesure d'efficacité de l'approche. Nous proposons ensuite une approche d'analyse d'impact d'un changement et pour cela nous avons : défini un modèle générique à base de connaissances sur la nature des liens entre les objets logiciels et sur les règles de propagation du changement ; validé ce modèle avec un prototype limité à deux étapes de cycle de vie, la conception et le code. Pour cette validation, nous avons choisi la méthode HOOD pour la conception et le langage de programmation Ada pour le code. Les outils existants d'analyse de l'impact du changement sont basés sur les méthodes de simulation (les méthodes dites algorithmiques) et ils n'adressent souvent que le code et parfois même qu'une partie du code. Nous avos montré dans ce travail qu'avec le modèle proposé, on peut dépasser la limite des méthodes de simulation et donner des informations plus détaillées sur l'effet d'un changement.
27
Tawbi, Chawki. "Adactif : extension d'un SGBD à l'activité par une approche procédurale basée sur les rendez-vous." Toulouse 3, 1996. http://www.theses.fr/1996TOU30262.
Full textAbstract:
L'activite dans les sgbd est mise en uvre grace aux regles evenement-condition-action (eca) qui servent a specifier le comportement actif du systeme et sa reaction vis a vis des situations rencontrees dans la bd et dans son environnement. L'evenement specifie le moment du declenchement de la regle, la condition verifie si l'etat de la bd necessite l'execution de l'action qui a son tour execute des operations en reponse a l'evenement. Ces operations peuvent servir a annuler la cause de l'evenement ou a executer ses consequences. Dans les travaux effectues durant la these, nous nous sommes interesses a un langage dote de mecanismes temps-reel afin de s'en inspirer pour etendre un sgbd passif a l'activite. Nous nous sommes inspires des taches ada et de leur mecanisme de synchronisation (les rendez-vous) pour implanter les regles dans notre sgbd actif baptise adactif. Les regles dans adactif sont considerees comme des taches actives attendant un rendez-vous du systeme en l'occurence de l'evenement declenchant. Chaque tache a en charge la verification d'une condition et, si elle est satisfaite, l'execution de l'action associee decrite de facon procedurale. Les taches dans adactif ont ete realisees a l'aide des processus unix et evoluent en parallele. La synchronisation dans le systeme, quant a elle, est mise en uvre a l'aide des pipe-line unix. D'autre part, comme les evenements composes (formes d'une combinaison d'evenements) jouent un role important dans les sgbd actifs, nous proposons un mecanisme de detection de ce type d'evenements base lui aussi sur le principe de tache et de rendez-vous. Ainsi, un evenement compose est detecte par une regle en attente de rendez-vous avec les evenements composants. Lorsque ces derniers sont au rendez-vous, et apres que la composition ait ete realisee, cette regle signale l'evenement compose au systeme. Cette approche permettra a l'utilisateur de specifier ses propres operateurs de composition conformement a la semantique de son application
28
M'zali, Najat. "Une méthodologie pour le développement de logiciels temps-réel." Nice, 1987. http://www.theses.fr/1987NICE4165.
Full textAbstract:
La méthodologie présentée distingue dans le logiciel temps-réel une partie commande et une partie opérative. Elle se base sur l'utilisation des réseaux de Petri pour spécifier la partie commande et sur un environnement de programmation pour générer quasi automatiquement le logiciel final
29
DeLooze, Lori L. "ITS Ada : an intelligent tutoring system for the Ada programming language." Thesis, Monterey, California. Naval Postgraduate School, 1991. http://hdl.handle.net/10945/28322.
Full text
30
Gibson, Barbara Brunner. "Ada as a design specification language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10215.
Full text
31
Gordon, Christopher Todd. "A visual language for ADA program unit specifications." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06232009-063007/.
Full text
32
Rogers, Patrick. "Software fault tolerance, reflection and the Ada programming language." Thesis, University of York, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.423676.
Full text
33
Wessman, Richard R. "Ada and the graphical kernel system /." Online version of thesis, 1988. http://hdl.handle.net/1850/10624.
Full text
34
Jeon, Dae Kyung. "Methodologies for developing distributed systems in Ada with a simulation of a distributed Ada system." Virtual Press, 1989. http://liblink.bsu.edu/uhtbin/catkey/722459.
Full textAbstract:
In recent years, the field of distributed processing, distributed systems, has undergone great change, and has been an area attracting tremendous research and development efforts. This thesis explores the various current methodologies for designing, developing and implementing distributed systems using the Ada programming language, and goes on to implement a simulation of a distributed store system using the "virtual node" design approach. After a brief introduction on distributed systems in general, an investigation of the basic issues and problems involved in distributing Ada programs coupled with an analysis and comparison of various approaches to developing distributed Ada systems is carried out. It is shown that one of the critical problems of Ada in a distributed environment is its implicit assumption of a single memory processor. A simulation of a distributed system (store system) is carried out using the virtual node method of developing distributed Ada systems. The various stages of this design method including interface task specification are stepped through. A sample run of the. system is given, including the customer file, stock file data and the monitored output of the system.<br>Department of Computer Science
35
Rice, Richard M. "Creating an Ada module description tool." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/539630.
Full textAbstract:
The purpose of this project was to develop, using Object Oriented Development (OOD), a software tool identified as the Ada Module Description Tool (AMDT). The AMDT provides an automated way to get a module level description of Ada code. A module level description will identify packages, subprograms, objects and type declarations and relationships. This software tool also has the ability to compare Ada source code with a module level description. The comparison shall identify any object, type, subprogram, or package declared in the module level description that does not match the provided source code.The AMDT is made up of two executable programs that run on a VAX/VMS system. The Module Description Generator (MDG) generates a module level description from a set of Ada source code files. The Module Description Checker (MDC) compares a module level description to the Ada source code. Ada is the required High Order Language for the Department Of Defense. The development methodology used was basically Object Oriented Development as described in the book Software Engineerinq With-AAA by Grady Booch and the Software Standards and Procedure Manual for Object Oriented Development (SSPM-M02.04 Draft).Booch's book is a description of Object Oriented Development methodology, while the SSPM is a set of instructions and standard format to implement the methodology. The total design of the AMDT is documented in five segments. The SSPM defines a segment as the code and documentation resulting from a pass through the OOD process. From a Software Quality Engineer's point of view the AMDT would save time in not having to check module descriptions by hand. From the Software Engineer's point of view, when the code is updated a new module description can be generated easily to keep the documentation current with the code. The AMDT tool as written does not find object declarations in the code. Fortunately the effect is minor because the module descriptions needs to be edited anyway. The module description generated by the MDG may have too much information in it. The designer wants only the types, objects, and operations that aid in the understandability of the design and how it is implemented. The only checks the MDC makes are to see if an identifier on the module description is in the code. It does not check to see if there are extra items in the code that should be required in the module description.<br>Department of Computer Science
36
Fonkoua, Alain. "Une application de l'intelligence artificielle à la synthèse architecturale des circuits intégrés VLSI." Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00335755.
Full textAbstract:
Description d'un outil de développement de systèmes experts (ODSE) conçu et réalisé en ADA. Le formalisme de description des connaissances (faits et règles), les mécanismes d'interférence mis en œuvre ainsi que l'implémentation du système sont donnes. Enfin, la thèse décrit l'utilisation de ODSE pour la réalisation d'un outil d'aide a la synthèse architecturale de c. I. VLSI (ASA). Les techniques utilisées par ASA (analyse de flots, ordonnancement, allocation de ressources) sont exposées ainsi que leur traduction dans le formalisme de ODSE. Enfin, les résultats d'utilisation de ASA pour la synthèse d'un filtre Leapfrog d'ordre 9 sont donnes
37
Mosca, Peter. "A study of Ada and C in concurrent programming." Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1991. http://www.kutztown.edu/library/services/remote_access.asp.
Full textAbstract:
Thesis (M.S.)--Kutztown University of Pennsylvania, 1991.<br>Source: Masters Abstracts International, Volume: 45-06, page: 3190. Abstract precedes thesis as [1] preliminary leaf. Typescript. Includes bibliographical references (leaf 54).
38
Mangolas, Athanassios Anastassios. "An Ada library for positional board games." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06082009-171004/.
Full text
39
Weber, Mats. "Proposals for enhancement of the ADA programming language : a software engineering perspective /." [S.l.] : [s.n.], 1994. http://library.epfl.ch/theses/?nr=1227.
Full text
40
Hollingsworth, Joseph Eugene. "Software component design-for-reuse : a language-independent discipline applied to ada /." The Ohio State University, 1992. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487778663285694.
Full text
41
Dutko, John L. "Using Ada for process-interaction oriented discrete event simulation /." Online version of thesis, 1988. http://hdl.handle.net/1850/11776.
Full text
42
Park, Su-Hyun. "ADH, Aspect Described Hardware-Description-Language." Thesis, University of Canterbury. Electrical and Computer Engineering, 2006. http://hdl.handle.net/10092/1113.
Full textAbstract:
Currently, many machine vision, signal and image processing problems are solved on personal computers due to the low cost involved in these computers and the many excellent software tools that exist, such as MATLAB. However, computationally expensive tasks require the use of multi-processor computers that are expensive and difficult to use efficiently due to communications between the processors. In these cases, FPGAs (Field Programmable Gate Arrays) are the best choice but they are not as widely used because of lack of experience in using these devices, difficulties with algorithmic translation and immaturity of the design and implementation tools for FPGAs. Programming languages are always evolving and the programming languages for microprocessors have evolved significantly, from functional and procedural languages to object-oriented languages. Nowadays, a new paradigm called aspect-oriented software development (AOSD) is becoming more widespread. However, hardware programming languages have not evolved to the same extent as the software programming languages for microprocessors. They are still dominated by the technologies developed in 1980s, which have significant deficiencies described in this thesis. Recent advances in HDLs (Hardware Description Languages) have taken a conservative approach based on well-proven software techniques.
43
Chappell, Bryan L. "Definition and validation of software complexity metrics for Ada." Thesis, Virginia Tech, 1989. http://hdl.handle.net/10919/44625.
Full textAbstract:
<p>One of the major goals of software engineering is to control the development and
maintenance of software products. With the growing use and importance of the Ada
programming language, control over the software life cycle of Ada systems is becoming
even more important. Software complexity metrics have been developed to aid software
engineers in the design and development of software systems. This research defines
metrics for Ada and uses an automated analysis tool to calculate them. This tool can be
used by the software engineer to help maintain control over Ada software products. The
validation of this tool was performed by analyzing a medium-sized commercial Ada
product. The flow of control and flow of information through the use of Ada packages can
be measured. The results show that software complexity metrics can be applied to Ada and
produce meaningful results.</p><br>Master of Science
44
Goel, Ashu. "Simulation of lower layers of communication protocols using Ada." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/546139.
Full textAbstract:
From the smallest microcomputer to the largest mainframe computer, data communication capabilities are and will be a major factor in the success and usefulness of the computer systems. The need for larger systems to process data created on the small computers, the need to move subsets of data to small computers access larger computers for other capabilities, and the need for growth in hardware capability are all major reasons that data communication is so important to today's technology.As data communication is the backbone of today's technology, it will play a leading role in governing the changes in the technology of the future. Hence the knowledge of data communication becomes a very important aspect.In this thesis emphasis has been given to simulate the lower layers of communication protocols using Ada as the base language. The language Ada is chosen because of it's capability of providing parallel processing, which is an inherent property of the data communication. Ada is a complex, general purpose programming language that provides an excellent concurrent programing facility called task, that is based on rendezvous concept.Simulation is an excellent way to teach & understand concepts, which otherwise becomes infeasible to understand. Now a days more and more communication details is embedded in the hardware, and hence what is going inside the computer, to provide communication between two computers or just plain data communication, is becoming transparent to the user. However, this does not eliminate the need to know about the functional characteristics of the protocols, which are the rules to provide an effective and reliable communication environment, rather the need to understand protocols is increasing as more and more computer vendors are coming out with their own products. Thanks to the ISO (International Standard Organization), which has come with the standard for the Computer to Computer Communication, but still protocol analysis and design will play a very important role. The field of protocol conversion has grown tremendously in order to provide communication across heterogeneous systems using message communication will to the field of protocol which now a days is an different protocols.Here in this study, communication backbone is simulated in Ada using its concurrent processing capabilities and it is tried to show how a data or aMessage communication will actually take place. This study can serve as a blue print to improve this in order to cater to the field of protocol analysis and protocol conversion, which now a days is an important facet of the data communication industry.<br>Department of Computer Science
45
Qayyum, Zawar. "Concrétisation des architectures logicielles à l'aide d'un langage formel : vers les langages dédiés au développement formel fondés sur π-ADL". Phd thesis, Université de Bretagne Sud, 2009. http://tel.archives-ouvertes.fr/tel-00519193.
Full textAbstract:
L'architecture logicielle est devenue un thème scientifique majeur de l'informatique. En effet, l'architecture logicielle fournit l'abstraction qui permet de développer rigoureusement et de faire évoluer des systèmes logiciels complexes au vu des besoins tant fonctionnels que non fonctionnels. Afin de modéliser les architectures logicielles, un nouveau type de langage est apparu : les langages de description d'architectures (ADL, Architecture Description Language). Divers ADL ont été proposés dans la littérature, mais ces ADL sont restreints à la modélisation d'architectures abstraites, indépendantes des plateformes d'implémentation. Lors de l'implémentation, l'architecture n'est plus représentée. Cette thèse s'inscrit dans le domaine des ADL et porte sur la définition et la mise en œuvre d'un langage pour la concrétisation, c'est-à-dire l'implémentation explicite, d'architectures logicielles. Elle adresse le problème de la construction d'un tel langage et son système d'exécution. Pour cela elle aborde le problème d'un point de vue nouveau : la construction d'un langage centré sur l'architecture logicielle. Assis sur des bases formelles, notamment sur le π-calcul et π-ADL, ces travaux ont donné lieu à un langage formel pour décrire et garantir l'intégrité architecturale d'un système au niveau de sa spécification, de son implémentation et de ses évolutions ultérieures. La machine virtuelle et le compilateur associé sont enfouis dans la plateforme .NET.
46
Zahidin, Ahmad Zamri. "Using Ada tasks (concurrent processing) to simulate a business system." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/539634.
Full textAbstract:
Concurrent processing has always been a traditional problem in developing operating systems. Today, concurrent algorithms occur in many application areas such as science and engineering, artificial intelligence, business systems databases, and many more. The presence of concurrent processing facilities allows the natural expression of these algorithms as concurrent programs. This is a very distinct advantage if the underlying computer offers parallelism. On the other hand, the lack of concurrent processing facilities forces these algorithms to be written as sequential programs, thus, destroying the structure of the algorithms and making them hard to understand and analyze.The first major programming language that offers high-level concurrent processing facilities is Ada. Ada is a complex, general purpose programming language that provides an excellent concurrent programming facility called task that is based on rendezvous concept. In this study, concurrent processing is practiced by simulating a business system using Ada language and its facilities.A warehouse (the business system) consists of a number of employees purchases microwave ovens from various vendors and distributes them to several retailers. Simulation of activities in the system is carried over by assigning each employee to a specific task and all tasks run simultaneously. The programs. written for this business system produce transactions and financial statements of a typical business day. They(programs) are also examining the behavior of activities that occur simultaneously. The end results show that concurrency and Ada work efficiently and effectively.<br>Department of Computer Science
47
Heironimus, Elisa K. "Automated incorporation of upset detection mechanisms in distributed Ada systems." Thesis, Virginia Polytechnic Institute and State University, 1988. http://hdl.handle.net/10919/80101.
Full textAbstract:
This thesis presents an automated approach to developing software that performs single event upset (SEU) detection in distributed Ada systems. Faults considered are those that fall in the single event upset (SEU) category. SEUs may cause information corruption leading to a change in program flow or causing a program to execute an infinite loop. Two techniques that detect the presence of these upsets are described. The implementation of these techniques is discussed in relation to the structure of Ada software systems and exploit the block structure of Ada.
A program has been written to automatically modify Ada application software systems to contain these upset detection mechanisms. The program, Software Modifier for Upset Detection (SMUD), requires little interactive information from a programmer and relies mainly on SMUD directives that are inserted into the application software prior to the modification process. A full description of this automated procedure is included.
The upset detection mechanisms have been incorporated into a distributed computer system model employing the MIL-STD-1553B communications protocol. Ada is used as the simulation environment to exercise and verify the protocol. The model used as a testbed for the upset detection mechanisms consists of two parts: the hardware model and the software implementation of the 1553B communications protocol. The hardware environment is described in detail, along with a discussion on the 1553B protocol. The detection techniques have been tested and verified at the high level using computer simulations. A testing methodology is also presented.<br>Master of Science
48
Bale, Siddalingaswamy. "Simulation of data link layer of communication protocols using Ada." Virtual Press, 1989. http://liblink.bsu.edu/uhtbin/catkey/722787.
Full textAbstract:
Communication and networking are vast areas which are developing rapidly. It is very important to know in detail how the system works, how it can be enhanced to meet today's requirement, how to implement the appropriate techniques to obtain desired results etc. To explain all of the above, simulation techniques were adopted. Simulation plays an important role in developming new designs and modifying existing systems to make them more feasible and efficient.Protocols are the back bones of the communication systems and play a major role in data transfer. The review of literature provides an explanation of ISO/OSI models, layered approach and concepts of simulation. The simulation was carried out to explain the concepts of error detection, error correction and flow control in Data Link layer. Ada was used to develop the software, because of its concurrent processing tools called tasks. Also state-of-the-art utilities like Vax/Vms Screen Management System, File Definition Language, and Debugger were us ed in the program development.<br>Department of Computer Science
49
Fainter, Robert Gaffney. "AdaTAD - a debugger for the Ada multi-task environment." Diss., Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/54289.
Full textAbstract:
In a society that is increasingly dependent upon computing machinery, the issues associated with the correct functioning of that machinery are of crucial interest. The consequences of erroneous behavior of computers are dire with the worst case scenario being, conceivably, global thermonuclear war. Therefore, development of procedures and tools which can be used to increase the confidence of the correctness of the software that controls the world's computers is of vital importance.
The Department of Defense (DoD) is in the process of adopting a standard computer language for the development of software. This language is called Ada¹. One of the major features of Ada is that it supports concurrent programming via its "task" compilation unit. There are not, however, any automated tools to aid in locating errors in the tasks.
The design for such a tool is presented. The tool is named AdaTAD and is a debugger for programs written in Ada. The features of AdaTAD are specific to the problems of concurrent programming.
The requirements of AdaTAD are derived from the literature. AdaTAD is, however, a unique tool designed using Ada as a program description language. When AdaTAD is implemented in Ada it becomes portable among all environments which support the Ada language. This offers the advantage that a single debugger is portable to many different machine architectures. Therefore, separate debuggers are not necessary for each implementation of Ada.
Moreover, since AdaTAD is designed to allow debugging of tasks, AdaTAD will also support debugging in a distributed environment. That means that, if the tasks of a user's program are running on different computers in a distributed environment, the user is still able to use AdaTAD to debug the tasks as a single program. This feature is unique among automated debuggers.
After the design is presented, several examples are offered to explain the operation of AdaTAD and to show that AdaTAD is useful in revealing the location of errors specific to concurrent programming.<br>Ph. D.
50
Thiagarajan, Hariharan. "Dependence analysis for inferring information flow properties in Spark ADA programs." Thesis, Kansas State University, 2011. http://hdl.handle.net/2097/13187.
Full textAbstract:
Master of Science<br>Department of Computing and Information Sciences<br>John Hatcliff<br>With the increase in development of safety and security critical systems, it is important to have more sophisticated methods for engineering such systems. It can be difficult to understand and verify critical properties of these systems because of their ever growing size and complexity. Even a small error in a complex system may result in casualty or significant monetary loss. Consequently, there is a rise in the demand for scalable and accurate techniques to enable faster development and verification of high assurance systems.
This thesis focuses on discovering dependencies between various parts of a system and leveraging that knowledge to infer information flow properties and to verify security policies specified for the system. The primary contribution of this thesis is a technique to build dependence graphs for languages which feature abstraction and refinement. Inter-procedural slicing and inter-procedural chopping are the techniques used to analyze the properties of the system statically.
The approach outlined in this thesis provides a domain-specific language to query the information flow properties and to specify security policies for a critical system. The spec- ified policies can then be verified using existing static analysis techniques. All the above contributions are integrated with a development environment used to develop the critical system. The resulting software development tool helps programmers develop, infer, and verify safety and security systems in a single unified environment.