Arxitektura dizayni va baholash tizimi - Architecture Design and Assessment System
The Arxitektura dizayni va baholash tizimi (ADAS) - tomonidan taqdim etilgan dasturiy ta'minot to'plami Tadqiqot uchburchagi instituti 1980-yillarning o'rtalaridan 1990-yillarning boshlariga qadar.[1]
A Petri to'ri -tizimning grafik modeli singari grafik ravishda yaratilgan. Resurslardan foydalanish va samaradorlikni aniqlash uchun ierarxik grafikalar taqlid qilingan. Modelning funktsional simulyatsiyasi biriktirish orqali amalga oshirilishi mumkin C (dasturlash tili) yoki Ada (dasturlash tili) tugunlarga kod. Bu dinamik resurslarni tayinlash, vaqt va ustuvorlikni yoqdi.
Simulyatsiya modeli
ADAS modeli yo'naltirilgan yoylar bilan bog'langan tugunlardan iborat edi.
Abstrakt simulyatsiya uchun tugun a ni ifodalaydi jarayon (tizim muhandisligi) modellashtirilayotgan tizimda. Ushbu jarayonni bajarishga yoki ishdan bo'shatishga tayyor bo'lish quyidagilarni talab qiladi: uning kirishlari qoniqtiriladi, uning chiqishi uchun joy mavjud va umumiy resurs / qo'shimcha mavjud. Amalga oshirish paytida tugun o'z ma'lumotlarini iste'mol qiladi, belgilangan muddat davomida resursdan foydalanadi, so'ngra uning natijalarini ishlab chiqaradi.
Jarayonning kirish va chiqishlari diskret belgilar bilan ifodalanadi. Ushbu nishonlar grafadagi yoylar bo'ylab oqadi. Agar yoyning maksimal kattaligi birdan katta bo'lsa, unda yoy tizim jarayonlari orasidagi buferni ifodalaydi.
Tizim modelini takomillashtirish uchun tugun ostiga ushbu jarayonning xatti-harakatlarini yaxshilash uchun subgrafani qo'yish mumkin.
Jismoniy va xulq-atvor xususiyatlari atributlar shaklida tugun va yoylarga biriktirilgan. Atributlarni aniqlash tili atributlar va global qadriyatlardan atributlarni hisoblashga imkon berdi.
Adabiyotlar
- ^ G.A. Frank, D.L. Franke va W.F. Ingogly, "Arxitektura dizayni va baholash tizimi", VLSI dizayni, jild. 6, № 8, 1985 yil avgust, 30-50 betlar
Qo'shimcha o'qish
- Dasturiy ta'minot / apparat kodlari uchun arxitektura dizayni va baholash tizimi, Dizaynni avtomatlashtirish bo'yicha 22-ACM / IEEE konferentsiyasi materiallari, 1985 y.
- O'zgartirilgan hisoblash grafigi va uni bir vaqtda tizimni loyihalash va tahlil qilishda foydalanish, Proc. Beshinchi Int. Konf. tizim muhandisligi bo'yicha, 385-388 betlar. Nyu-York: IEEE, 1987 yil
- Arxitektura dizayni va baholash tizimidan foydalangan holda kosmik parvoz optik disk yozuvchisi modellashtiruvchisi, IEEE Southeast Con, 1990 yil aprel.
- Telerobotik tizimga tuzilgan tahlilni qo'llash, tizim muhandisligi bo'yicha IEEE Xalqaro konferentsiyasi, 1990 yil avgust
- ADAS bilan ko'p protsessorli ishlashni modellashtirish, AIAA Computers in Aerospace Conference, 7-chi, Monterey, CA, 1989 yil 3-5 oktyabr
- Multiprotsessorli arxitekturalarni modellashtirish va tahlil qilish, AIAA-1989-3014
- Sinov muhandisining yordamchisi: IEEE kompyuteri, 1989 yil aprelda sinovdan o'tkazilishi uchun texnik vositalarni loyihalash uchun yordamchi muhit
- Yuqori samarali, juda ishonchli hisoblash tizimini (DAHPHRS) loyihalashtirish va baholash uchun vositalarni birlashtirish 1-bosqich, NASA shartnomasi NAS1-17964, 1992 yil may, 141 bet https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19920019342_1992019342.pdf
- CSP-ga asoslangan OODRA dastgohi yordamida qayta sozlanadigan moslashuvchan nurli shakllanish arxitekturasini ob'ektga yo'naltirilgan tavsifi va simulyatsiyasi, Journal of VLSI Signal Processing, 1990 yil noyabr
- Lineer bo'lmagan multiobjective optimallashtirish usullaridan foydalangan holda missiyani bajarish uchun samolyot dizayni, Journal of Aircraft (ISSN 0021-8669), jild. 27, 1990 yil
- Ketma-ket protsessorli simulyatsiya modellaridagi parallellik: amaliy tadqiqotlar, modellashtirish va kompyuter simulyatsiyasi bo'yicha ACM operatsiyalari, 1995 yil aprel.
- Prolog amaliyoti: Prologga asoslangan VLSI muharriri, Leon Sterling, 1990, ISBN 0-262-19301-9
- Kodlar uchun avtomatlashtirish texnologiyasini loyihalashtirish: holati va yo'nalishlari, 1992 yil IEEE sxemalari va tizimlari bo'yicha xalqaro simpozium
- Aladdin dasturiy ta'minotini qo'llab-quvvatlash, IEEE 1991 Milliy aerokosmik va elektron konferentsiyasi materiallari
- Katta donli ma'lumotlar oqimini rejalashtirish paradigmasini ishlash tahlili, NASA Langley, 1993 yil iyun, 8-bet https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19930023024_1993023024.pdf
- Tizimlarni loyihalash, simulyatsiya qilish va tahlil qilish uchun avtomatlashtirilgan nosozliklarga bag'rikenglikni baholovchi, ish yuritish., IEEE / AIAA / NASA 9-raqamli avionika tizimlari konferentsiyasi, 1990
- Virtual prototiplash, raqamli signallarni qayta ishlash tizimlari, 1998 yil Lockheed Martin texnologiya simpoziumi, slayd 7 https://web.archive.org/web/20110904153705/http://www.atl.lmco.com/projects/csim/vp4C.pdf