×
文森扎·卡奇奥洛;米歇尔·马格里;朱塞佩·曼吉奥尼

TTL：用于硬件/软件系统设计的模块化语言。 （英语） Zbl 1035.68031号

J.计算。系统。科学。 66，第2期，293-315（2003）.
摘要：硬件和软件系统设计工具的开发从形式化方法的使用中受益匪浅，尤其是如果它们提供了涵盖实际应用的描述性能力。在T-LOTOS语言的基础上，开发了一种称为TTL的语言，它为原始语言的高表达性添加了新的结构和工具，从而使其适合于实际复杂的硬件和软件系统的规范。提出和呈现的一些扩展涵盖了规范的模块化、迭代构造的引入和对象范式的第一步。文中给出了TTL的一个广泛使用示例，以显示其特性。在开发协同设计框架时，TTL的功能已经过广泛测试。

引用于1文件

MSC公司：

68号01 软件理论的一般主题
68N99型 软件理论
68M99型 计算机系统组织

关键词：

形式化描述技术;协同设计

软件：

TTL公司;LOTOS公司;酯类
PDF格式BibTeX公司 XML格式引用
\textit{V.Carchiolo}等人，《计算杂志》。系统。科学。66，第2号，293--315（2003；Zbl 1035.68031）
全文： 内政部

参考文献：

[1] Bailey，A。；麦卡斯基尔，G.A。；Milne，G.J.，异步设计自动验证练习，形式方法系统设计。，4, 213-242 (1994) ·Zbl 0795.94020号
[2] Berry，G。；Gonthier，G.，《esterel同步编程语言：设计、语义、实现、科学》。计算。编程，7987-152（1992）·Zbl 0772.68013号
[3] 博洛涅西，T。；Brinksma，E.，ISO规范语言LOTOS简介，计算。网络ISD系统，14，25-59（1987）
[4] Carchiolo，V。；A.法罗。；O.米拉贝拉。；Pappalardo，G。；Scollo，G.，《路侧公路服务的路侧规范》，IEEE Trans。计算。，35, 11, 949-968 (1986)
[5] V.Carchiolo，M.Malgeri，G.Mangioni，《使用circal实现实时系统规范》，载于《TAU95会议录》，西雅图（美国），1995年11月。；V.Carchiolo，M.Malgeri，G.Mangioni，《使用circal实现实时系统规范》，载于《TAU95会议录》，西雅图（美国），1995年11月·Zbl 0988.68756号
[6] V.Carchiolo，M.Malgeri，G.Mangioni，TTL：系统描述的LOTOS扩展，载于：Basys’96年会议记录，葡萄牙里斯本，1996年。；V.Carchiolo，M.Malgeri，G.Mangioni，TTL：系统描述的LOTOS扩展，载于：Basys’96年会议记录，葡萄牙里斯本，1996年·Zbl 1035.68031号
[7] Carchiolo，V。；Malgeri，M。；Mangioni，G.，《采用多步分区的形式化协同设计方法》，VLSI Des。J.，7，4，401-423（1998）
[8] V.Carchiolo，M.Malgeri，G.Mangioni，《系统设计语言：语法和语义》，技术报告IIT-1999-TS，1999年。；V.Carchiolo，M.Malgeri，G.Mangioni，《系统设计语言：语法和语义》，技术报告IIT-1999-TS，1999年·Zbl 1035.68031号
[9] Carchiolo，V。；Malgeri，M。；Mangioni，G.，《嵌入式系统协同设计中形式规范的硬件/软件综合》，ACM Trans。设计。自动化电子。系统，5，3，399-432（2000）
[10] Carchiolo，V。；Di Stefano，A。；A.法罗。；Pappalardo，G.，《面向osi系统规范和验证的两种语言》，ACM Trans。编程语言系统，11，2，239-284（1989）
[11] M.Chiodo，P.Giusto，A.Jureska，H.C.Hsieh，A.Sangiovanni-Vincentelli，L.Lavango，《硬件/软件协同设计的正式规范模型》，摘自：《国际软硬件协同设计研讨会论文集》，波士顿，1993年9月。；M.Chiodo，P.Giusto，A.Jureska，H.C.Hsieh，A.Sangiovanni-Vincentelli，L.Lavango，《硬件/软件协同设计的正式规范模型》，摘自：《国际软硬件协同设计研讨会论文集》，波士顿，1993年9月。
[12] Chiodo，M。；Giusto，P。；Jureska，A。；Hsieh，H.C。；Sangiovanni Vincentelli，A.教授。；Lavagno，L.，嵌入式系统的软硬件协同设计，IEEE Micro，14，26-36（1994）
[13] 马赫，B。；Ehrig，H.，《代数规范基础》，1 EATCS计算机科学专著（1985），施普林格：施普林格柏林·Zbl 0557.68013号
[14] M.Faci，L.Logrippo，《指定乐透中的硬件系统》，摘自：CHDL93会议录，荷兰阿姆斯特丹北荷兰特，1993年4月（11）305-312。；M.Faci，L.Logrippo，《指定乐透中的硬件系统》，收录于：CHDL93会议录，荷兰阿姆斯特丹北荷兰特，1993年4月（11）305-312。
[15] R.K.Gupta，C.N.Coelho Jr，Giovanni De Micheli，《软硬件系统的程序实现方案》，IEEE Compute。27（1994）48-55。；R.K.Gupta，C.N.Coelho Jr，Giovanni De Micheli，《软硬件系统的程序实现方案》，IEEE Compute。27 (1994) 48-55.
[16] J.He，K.J.Turner，《基于协议的硬件测试》，载于：《IWTCS-XII（第十二届通信系统测试会议）论文集》，布达佩斯，1999年9月，多德雷赫特Kluwer出版社，1999年，第131-147页。；J.He，K.J.Turner，《基于协议的硬件测试》，载于《IWTCS-XII会议录》（第12届通信系统测试会议），布达佩斯，1999年9月，多德雷赫特Kluwer出版社，1999年，第131-147页。
[17] J.He，K.J.Turner，《使用LOTOS的同步硬件规范和验证》，载于：FORTE-XII-PSTV-XIX会议录，Kluwer，Dordrecht，1999年10月，第295-312页。；J.He，K.J.Turner，《使用LOTOS的同步硬件规范和验证》，载于：FORTE-XII-PSTV-XIX会议录，Kluwer，Dordrecht，1999年10月，第295-312页。
[18] Hoare，C.A.R，《通信顺序过程》，计算机科学国际丛书（1985），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0637.68007号
[19] ISO-IS-8807，信息处理系统，开放系统互连，LOTOS，基于观测行为时间顺序的形式化描述技术，ISO，1988年6月。；ISO-IS-8807，信息处理系统，开放系统互连，LOTOS，基于观测行为时间顺序的形式化描述技术，ISO，1988年6月。
[20] ISO-IS-9074，信息处理系统，开放系统互连，ESTELLE，基于扩展状态转移模型的形式化描述技术，ISO。；ISO-IS-9074，信息处理系统，开放系统互连，ESTELLE，基于扩展状态转移模型的形式化描述技术，ISO。
[21] ISO/IEC 15437:2001信息技术-LOTOS（E-LOTOS）增强。；ISO/IEC 15437:2001信息技术-LOTOS（E-LOTOS）增强。
[22] Leonard，L。；Leduc，G.，LOTOS中时间的形式定义，形式方面计算。，10, 248-266 (1998) ·Zbl 0934.68056号
[23] De Micheli，G.，计算机辅助硬件-软件协同设计，IEEE Micro，14，10-16（1994）
[24] Milne，G.J.，《CIRCAL与通信、并发和时间的表示》，ACM Trans。编程语言系统，7，2，270-298（1985）·兹伯利0562.68017
[25] R.Milner，《通信系统微积分》，《计算机科学讲义》，第92卷，施普林格出版社，纽约，1980年。；R.Milner，《通信系统微积分》，《计算机科学讲义》，第92卷，施普林格，纽约，1980年·Zbl 0452.68027号
[26] J.Quemada，A.Fernandez，《定量相对时间引入LOTOS》，摘自：IFIP协议规范、测试和验证研讨会，第7卷，北荷兰，阿姆斯特丹，1987年。；J.Quemada，A.Fernandez，《定量相对时间引入LOTOS》，收录于：IFIP协议规范、测试和验证研讨会，第7卷，荷兰北部，阿姆斯特丹，1987年。
[27] J.Quemada，S.Paven，A.Fernandez，通过LOLA变换进行状态探索，有限状态系统自动验证方法研讨会，1989年6月。；J.Quemada，S.Paven，A.Fernandez，通过LOLA转换进行状态探索，有限状态系统自动验证方法研讨会，1989年6月。
[28] IEEE标准1076-1987，标准VHDL语言参考手册，IEEE，纽约，1988年。；IEEE标准1076-1987，标准VHDL语言参考手册，IEEE，纽约，1988年。
[29] E.Sternheim，R.Singh，R.Madhaven，Y.Trivedi，《Verilog HDL数字设计与合成》，Automata出版公司，加利福尼亚州圣何塞，1993年。；E.Sternheim，R.Singh，R.Madhaven，Y.Trivedi，Verilog HDL的数字设计与合成，自动机出版公司，加利福尼亚州圣何塞，1993年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。