Arkitektur design och bedömningssystem

Architecture Design and Assessment System ( ADAS ) var en uppsättning programvaror som erbjuds av Research Triangle Institute från mitten av 1980-talet fram till början av 1990-talet.

En petrinätliknande grafmodell av ett system skapades grafiskt. De hierarkiska graferna simulerades för att bestämma resursutnyttjande och genomströmning. Funktionell simulering av modellen skulle kunna realiseras genom att koppla C- eller Ada -kod till noderna. Detta möjliggjorde dynamisk resurstilldelning, timing och prioritet.

Simuleringsmodell

En ADAS-modell bestod av noder sammankopplade med riktade bågar.

För abstrakt simulering representerar en nod en process (systemteknik) i systemet som modelleras. Beredskapen för exekvering eller avfyring av denna process kräver att: dess ingångar är tillfredsställda, utrymme är tillgängligt för dess utgångar och dess delade resurs/hårdvara är tillgänglig. Under exekvering förbrukar noden sina ingångar, använder resursen under den föreskrivna varaktigheten och producerar sedan sina utdata.

Ingångarna och utgångarna för en process representeras av diskreta tokens. Dessa tokens flyter längs bågarna i grafen. Om den maximala bågstorleken är större än en, skulle en båge representera en buffert mellan systemprocesser.

För att förfina systemets modell kan en subgraf placeras under noden för att förfina processens beteende.

Fysiska och beteendemässiga egenskaper var knutna till noder och bågar i form av attribut. Attributdefinitionsspråket möjliggjorde beräkning av attribut från förfädersattribut och globala värden.

Vidare läsning

• An Architecture Design and Assessment System for Software/Hardware Codesign, Proceedings of the 22nd ACM/IEEE conference on Design automation, 1985
• The Modified Computational Graph och dess användning i Concurrent System Design and Analysis, Proc. av det femte Int. Konf. om Systems Engineering, sidorna 385-388. New York: IEEE, 1987
• Modelleringen av en optisk skivinspelare för rymdfärder med hjälp av arkitekturdesign- och utvärderingssystemet, IEEE Southeast Con, april 1990
• Tillämpning av strukturerad analys på ett telerobotsystem, IEEE International Conference on System Engineering, augusti 1990
• Multiprocessor Performance Modeling med ADAS, AIAA Computers in Aerospace Conference, 7:e, Monterey, CA, 3-5 oktober 1989
• Modellering och analys av multiprocessorarkitekturer, AIAA-1989-3014
• Testingenjörens assistent: A Support Environment for Hardware Design for Testability, IEEE Computer Apr. 1989
• Integrering av verktyg för design och bedömning av högpresterande, mycket tillförlitliga datorsystem (DAHPHRS) Fas 1, NASA-kontrakt NAS1-17964, maj 1992, sidan 141 https://ntrs.nasa.gov/archive/nasa/casi . ntrs.nasa.gov/19920019342_1992019342.pdf
• CSP-baserad objektorienterad beskrivning och simulering av en omkonfigurerbar adaptiv strålformningsarkitektur med hjälp av OODRA-arbetsbänken, The Journal of VLSI Signal Processing, nov 1990
• Flygplansdesign för uppdragsprestanda med användning av ickelinjära multiobjektiva optimeringsmetoder, Journal of Aircraft (ISSN 0021-8669), vol. 27 december 1990
• Parallelism in Sequential Multiprocessor Simulation Models: a Case Study, ACM Transactions on Modeling and Computer Simulation, april 1995
•   The Practice of Prolog: en Prolog-baserad VLSI-redaktör, Leon Sterling, 1990, ISBN 0-262-19301-9
• Design Automation Technology for Codesign: Status and Directions, 1992 IEEE International Symposium on Circuits and Systems
• Aladdin Software Support, Proceedings of the IEEE 1991 National Aerospace and Electronics Conference
• Performance Analysis of a Large-Grain Dataflow Scheduling Paradigm, NASA Langley, juni 1993, sida 8 https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19930023024_1993023024.pdf
• Automated Fault Tolerance Evaluator för systemdesign, simulering och analys, Proceedings., IEEE/AIAA/NASA 9:e Digital Avionics Systems Conference, 1990
• Virtual Prototyping, Digital Signal Processing Systems, 1998 Lockheed Martin Technology Symposium, bild 7 https://web.archive.org/web/20110904153705/http://www.atl.lmco.com/projects/csim/vp4C.pdf