×

质量和资源管理的接口建模。 (英语) Zbl 07379290号

摘要:我们开发了一个用于质量和资源管理的接口建模框架,该框架捕获硬件和软件组件在功能、资源使用和供应方面的可配置工作点,以及性能和能耗等质量指标。我们将这些方面建立在部分排序集的基础上,以获取质量水平、预算大小和功能兼容性。这使得该框架具有广泛的适用性和领域独立性(尽管我们的目标是嵌入式和网络物理系统)。该框架为基于组件的系统的动态(重新)配置和多目标优化铺平了道路,以实现质量和资源管理目的。

MSC公司:

03B70号 计算机科学中的逻辑
68倍 计算机科学

软件:

z3(零3)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] A.Basu、M.Bozga和J.Sifakis。在BIP中建模异构实时组件。InProc.公司。第四届IEEE软件工程和形式化方法国际会议,SEFM’06。IEEE,2006年。
[2] D.盒子。Essential COM.艾迪森·韦斯利,1998年·Zbl 0898.68001号
[3] E.M.Clarke、E.A.Emerson、S.Jha和A.P.Sistla。模型检查中的对称约简。InProc.公司。计算机辅助验证,CAV 1998。施普林格,1998年。
[4] L.de Alfaro和T.A.Henzinger。接口自动机。SIGSOFT软件。工程注释,26(5),2001年·兹比尔1050.68518
[5] L.de Alfaro和T.A.Henzinger。基于组件设计的接口理论。InProc.公司。嵌入式软件,EMSOFT 2001,第148-165页。施普林格,2001年·兹比尔1050.68518
[6] L.De Moura和N.Björner。Z3:高效的SMT求解器。InProc.公司。系统构建和分析的工具和算法,TACAS 2008。施普林格,2008年。
[7] S.A.Edwards和E.A.Lee。精密定时(PRET)机器的案例。InProc.公司。第44届ACM/IEEE设计自动化会议。ACM,2007年。
[8] M.Geilen和T.Basten。Pareto点计算器。InProc.公司。欧洲会议与展览设计、自动化与测试,2007年。IEEE,2007年。
[9] M.Garc´a-Valls、P.Basanta-Val和I.Est´evez-Ayres。可重构基于服务的分布式实时应用程序同构实现的组件模型。InProc.公司。
[10] M.Geilen、T.Basten、B.Theelen和R.Otten。帕累托点代数。《信息学基础》,78(1),2007年·Zbl 1135.90397号
[11] M.Geilen、S.Tripakis和M.Wiggers。越早越好:定时演员界面理论。InProc.公司。第14届混合系统国际会议:计算与控制,HSCC’11。ACM,2011年·兹比尔1362.68049
[12] T.A.Henzinger和S.Matic。实时组件的接口代数。InProc.公司。第十二届IEEE实时和嵌入式技术及应用研讨会,RTAS’06。
[13] D.K.Kaynar、N.A.Lynch、R.Segala和F.Vaandrager。时间I/O自动机:实时系统建模和分析的数学框架。InProc.公司。第24届IEEE国际实时系统研讨会,RTSS’03。IEEE,2003年。
[14] I.Kurtev、M.Schuts、J.Hooman和D.-J.Swagerman。在工业环境中集成界面建模和分析。InProc.公司。第五届模型驱动工程和软件开发国际会议,MODELSWARD’17。科学技术出版社,2017年。
[15] J.Legriel、C.Le Guernic、S.Cotton和O.Maler。多准则优化问题的Pareto前沿逼近。InProc.公司。用于构建的工具和算法·Zbl 1284.90074号
[16] E.A.Lee和D.G.Messerschmitt。同步数据流。IEEE会议录,75(9),1987年。
[17] A.Luppold、B.Menhorn、H.Falk和F.Slomka。运行时可重构实时系统的系统级设计新概念。《SIGBED评论》,2013年第10(4)期。
[18] N.A.Lynch和M.R.Tuttle。分布式算法的层次正确性证明。InProc.公司。第六届ACM分布式计算原理年会,PODC’87。ACM,1987年。
[19] OSGi联盟。OSGi 2018年第7版。
[20] 对象管理组。公共对象请求代理:体系结构和规范版本3.3,2012年。
[21] 太阳微系统公司。爪哇豆,1997年。
[22] A.Sangiovanni-Vincentelli、W.Damm和R.Passerone。驯服弗兰肯斯坦博士:基于合同的网络物理系统设计。《欧洲控制杂志》,18(3),2012年·Zbl 1264.93152号
[23] R.van Ommering、F.van der Linden、J.Kramer和J.Magee。消费电子软件的考拉组件模型。计算机,332000。
[24] E.Wandeler和L.Thiele。具有固定优先级调度的实时系统基于接口设计的实时接口。InProc.公司。第五届ACM嵌入式软件国际会议,EMSOFT’05。ACM,2005年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。