首页 > 最新文献

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems最新文献

英文 中文
Meta Model Driven Framework for the Integration and Extension of Application Components 用于集成和扩展应用组件的元模型驱动框架
A. Talevski, E. Chang, T. Dillon
Generally software is seen as something that is purchased off-the-shelf. However, this perception is incorrect, as off-the-shelf software represents only 15 percent of all software development. The remaining 85 percent represents specialized software developed for large organizations to help them meet their unique requirements. The competitive nature of such organizations typically results in rapidly evolving software requirements. Component-based software engineering techniques lend themselves favorably to the development of reconfigurable software. However, component integration and reconfiguration complexity issues make component-oriented programs difficult to maintain, expand and widely reuse. In this paper we propose a distributed Meta model driven framework that eases software customization and redirects this task away from the software developer to the software user. Through the use of an application generator tool we realize the concept of ‘model once, generate anywhere’.
一般来说,软件被看作是现成的东西。然而,这种看法是不正确的,因为现成的软件只占所有软件开发的15%。剩下的85%代表了为大型组织开发的专门软件,以帮助他们满足其独特的需求。这类组织的竞争本质通常会导致软件需求的快速发展。基于组件的软件工程技术有利于可重构软件的开发。然而,组件集成和重新配置的复杂性问题使得面向组件的程序难以维护、扩展和广泛重用。在本文中,我们提出了一个分布式元模型驱动框架,它简化了软件定制,并将这项任务从软件开发人员重定向到软件用户。通过应用程序生成器工具的使用,我们实现了“一次建模,随处生成”的概念。
{"title":"Meta Model Driven Framework for the Integration and Extension of Application Components","authors":"A. Talevski, E. Chang, T. Dillon","doi":"10.1109/WORDS.2003.1267534","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1267534","url":null,"abstract":"Generally software is seen as something that is purchased off-the-shelf. However, this perception is incorrect, as off-the-shelf software represents only 15 percent of all software development. The remaining 85 percent represents specialized software developed for large organizations to help them meet their unique requirements. The competitive nature of such organizations typically results in rapidly evolving software requirements. Component-based software engineering techniques lend themselves favorably to the development of reconfigurable software. However, component integration and reconfiguration complexity issues make component-oriented programs difficult to maintain, expand and widely reuse. In this paper we propose a distributed Meta model driven framework that eases software customization and redirects this task away from the software developer to the software user. Through the use of an application generator tool we realize the concept of ‘model once, generate anywhere’.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134007309","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A Guided Tour on Total Order Specifications 导游讲解订购总规格
S. Cimmino, C. Marchetti, R. Baldoni
In the last two decades the development of Total Order (TO) broadcast and multicast communication over asynchronous distributed systems have been one of the main research issues in dependable distributed computing. As a result, a huge amount of works has been carried out, ranging from service speci.cations to a variety of TO implementations over different communication platforms. Differences among such speci.cations can make very difficult the choice of the right TO primitive, by an application designer, to enable the application to meet its correctness requirements. The aim of this paper is thus to present a clear classification of total order broadcast specifications. In particular, six specifications of total order broadcast primitives proposed in the literature are organized into a hierarchy that allows (i) to classify existing implementations of total order communication primitives, and (ii) to select the right primitive according to the application requirements in order to maximize performance.
近二十年来,异步分布式系统上的全序广播和组播通信的发展已成为可靠分布式计算领域的主要研究课题之一。因此,进行了大量的工作,从服务规格。转换到不同通信平台上的各种to实现。这些物种之间的差异。应用程序设计人员很难选择正确的TO原语,以使应用程序能够满足其正确性需求。因此,本文的目的是提出一个明确的分类的总顺序广播规范。特别是,文献中提出的六种全顺序广播原语规范被组织成一个层次结构,允许(i)对现有的全顺序通信原语实现进行分类,以及(ii)根据应用需求选择正确的原语以最大化性能。
{"title":"A Guided Tour on Total Order Specifications","authors":"S. Cimmino, C. Marchetti, R. Baldoni","doi":"10.1109/WORDS.2003.1267507","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1267507","url":null,"abstract":"In the last two decades the development of Total Order (TO) broadcast and multicast communication over asynchronous distributed systems have been one of the main research issues in dependable distributed computing. As a result, a huge amount of works has been carried out, ranging from service speci.cations to a variety of TO implementations over different communication platforms. Differences among such speci.cations can make very difficult the choice of the right TO primitive, by an application designer, to enable the application to meet its correctness requirements. The aim of this paper is thus to present a clear classification of total order broadcast specifications. In particular, six specifications of total order broadcast primitives proposed in the literature are organized into a hierarchy that allows (i) to classify existing implementations of total order communication primitives, and (ii) to select the right primitive according to the application requirements in order to maximize performance.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129448286","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Extending UML towards a Useful OO-Language for Modeling Dependability Features 将UML扩展为一种有用的面向对象语言,用于对可靠性特性进行建模
M. D. Cin
The paper presents an UML profile which defines a language for specifying, analysing and documenting dependability mechanisms. It helps to cope with the complexity of fault-tolerant system design by providing specifications of (common) dependability constructs that can be incorporated into models of fault-tolerant real-time systems.
本文提出了一个UML概要文件,它定义了一种用于指定、分析和记录可靠性机制的语言。它通过提供可合并到容错实时系统模型中的(通用)可靠性构造的规范,帮助处理容错系统设计的复杂性。
{"title":"Extending UML towards a Useful OO-Language for Modeling Dependability Features","authors":"M. D. Cin","doi":"10.1109/WORDS.2003.1267547","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1267547","url":null,"abstract":"The paper presents an UML profile which defines a language for specifying, analysing and documenting dependability mechanisms. It helps to cope with the complexity of fault-tolerant system design by providing specifications of (common) dependability constructs that can be incorporated into models of fault-tolerant real-time systems.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116846545","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Achieving Reliable and Timely Task Execution in Mobile Embedded Applications 在移动嵌入式应用中实现可靠和及时的任务执行
S. Schemmer, E. Nett
Tasks controlling a mobile system’s interactions with its environment must be performed reliably and in real-time. Motion control, for example, directs a system’s motions based on information about the environment. As such information is usually incomplete and inaccurate, we developed a solution in which mobile systems perform a distributed fusion of their sensor data. In this paper, we address the scheduling of the local processing tasks of the fusion. The particular problem of the real-time scheduling of these tasks lies in their unpredictable execution times, which do not allow using worst-case values. TAFT (time-aware fault-tolerant) scheduling allows working with expected-case execution times and still achieves a predictable timing behavior. It aborts task instances that would miss their deadline and ensures a timely exception handling. We exploit application-inherent redundancy to tolerate task abortions. We present measurements showing the dynamic nature of the execution times and the reliability of task execution.
控制移动系统与其环境交互的任务必须可靠且实时地执行。例如,运动控制可以根据环境信息指导系统的运动。由于这些信息通常是不完整和不准确的,我们开发了一种解决方案,在该解决方案中,移动系统执行其传感器数据的分布式融合。本文主要研究融合的局部处理任务调度问题。这些任务的实时调度的特殊问题在于其不可预测的执行时间,这就不允许使用最坏情况值。TAFT(时间感知容错)调度允许使用预期的执行时间,并且仍然可以实现可预测的计时行为。它将终止错过截止日期的任务实例,并确保及时处理异常。我们利用应用程序固有的冗余来容忍任务流产。我们提供了显示执行时间的动态性和任务执行的可靠性的度量。
{"title":"Achieving Reliable and Timely Task Execution in Mobile Embedded Applications","authors":"S. Schemmer, E. Nett","doi":"10.1109/WORDS.2003.1267491","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1267491","url":null,"abstract":"Tasks controlling a mobile system’s interactions with its environment must be performed reliably and in real-time. Motion control, for example, directs a system’s motions based on information about the environment. As such information is usually incomplete and inaccurate, we developed a solution in which mobile systems perform a distributed fusion of their sensor data. In this paper, we address the scheduling of the local processing tasks of the fusion. The particular problem of the real-time scheduling of these tasks lies in their unpredictable execution times, which do not allow using worst-case values. TAFT (time-aware fault-tolerant) scheduling allows working with expected-case execution times and still achieves a predictable timing behavior. It aborts task instances that would miss their deadline and ensures a timely exception handling. We exploit application-inherent redundancy to tolerate task abortions. We present measurements showing the dynamic nature of the execution times and the reliability of task execution.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114930316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Edsger Dijkstra
Brian Randell
I was most honoured, but also somewhat confused, by the invitation to give a banquet speech about the late great Edsger Dijkstra at WORDS 2003. This is because the term "banquet speech" is American, and translating it into the English term "after-dinner speech" is rather misleading. In Britain an "after-dinner speech" is meant to be, above all, humorous, so as to be capable of entertaining, and retaining at least the attention, if not the enthusiasm, of an audience that have just eaten and drunk, to excess in all probability. But the privilege of talking to you about Edsger Dijkstra is not an occasion for humour — or at least only occasional humour, in the very personal portrait I’m going to try and give you of one of computer science’s intellectual giants, one I am honoured to have called a friend. I have another cause for misgivings. What I can say about Dijkstra is bound to seem inadequate to any of you who knew him — and will feel to me to be inadequate for any who didn’t. But with these caveats, let me begin. You have, I believe, all been given a copy of a leaflet [Campbell-Kelly 2002] about Dijkstra — I hope you’ve had a chance to read it. My aim is not to relate all the factual statements it contains, which between them amply testify to the extent and importance of his contributions to computer science, but rather to augment these statements with some mainly personal recollections — and also to encourage all of you to explore for yourself some of his work through his many writings. I should explain the background to this leaflet. It was produced for a British Computer Society meeting last year honouring the memory of Edsger Dijkstra, a meeting at which Tony Hoare and I were the main speakers. I used the invitation to speak at the meeting as an opportunity to tell Ria Dijkstra (Edsger’s widow) and a lot of people who knew Dijkstra well, or at least knew lots about Dijkstra, what a debt I owed to him. I will use here some of the remarks I made on that occasion, but I will include rather more information about Dijkstra’s work and its significance than I did in my brief talk at the BCS meeting.
应邀在2003年WORDS大会上就已故伟大的埃德斯格·迪克斯特拉(Edsger Dijkstra)发表宴会演讲,我感到非常荣幸,但也有些困惑。这是因为“宴会演讲”一词是美式的,把它翻译成英语中的“餐后演讲”是相当容易误导人的。在英国,“餐后演讲”最重要的是要幽默,这样才能让刚吃过、喝过的听众们兴致勃勃,至少也能保持他们的注意力。但是有幸和你们谈论Edsger Dijkstra并不是一个幽默的场合——或者至少只是偶尔的幽默,在我试图向你们展示的这位计算机科学的智力巨人的个人画像中,我很荣幸地称他为朋友。我还有另一个担心的理由。对于了解迪克斯特拉的人来说,我所能说的肯定是不够的——对于不了解他的人来说,我也会觉得不够。但有了这些警告,让我开始吧。我相信你们都拿到了一份关于Dijkstra的传单[Campbell-Kelly 2002],我希望你们有机会读过它。我的目的不是把书中包含的所有事实陈述联系起来,这些事实陈述充分证明了他对计算机科学的贡献的程度和重要性,而是用一些主要的个人回忆来补充这些陈述——也鼓励你们所有人通过他的许多著作来探索他的一些工作。我应该解释一下这张传单的背景。它是为去年英国计算机协会(British Computer Society)纪念Edsger Dijkstra的一次会议制作的,我和托尼•霍尔(Tony Hoare)在那次会议上作了主要发言。我利用受邀在会议上发言的机会,告诉Ria Dijkstra (Edsger的遗孀)和许多熟悉Dijkstra的人,或者至少是非常了解Dijkstra的人,我欠他多少人情。我将在这里引用我在那次会议上发表的一些言论,但我将比我在BCS会议上的简短讲话更多地介绍Dijkstra的工作及其意义。
{"title":"Edsger Dijkstra","authors":"Brian Randell","doi":"10.1109/WORDS.2003.1267483","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1267483","url":null,"abstract":"I was most honoured, but also somewhat confused, by the invitation to give a banquet speech about the late great Edsger Dijkstra at WORDS 2003. This is because the term \"banquet speech\" is American, and translating it into the English term \"after-dinner speech\" is rather misleading. In Britain an \"after-dinner speech\" is meant to be, above all, humorous, so as to be capable of entertaining, and retaining at least the attention, if not the enthusiasm, of an audience that have just eaten and drunk, to excess in all probability. But the privilege of talking to you about Edsger Dijkstra is not an occasion for humour — or at least only occasional humour, in the very personal portrait I’m going to try and give you of one of computer science’s intellectual giants, one I am honoured to have called a friend. I have another cause for misgivings. What I can say about Dijkstra is bound to seem inadequate to any of you who knew him — and will feel to me to be inadequate for any who didn’t. But with these caveats, let me begin. You have, I believe, all been given a copy of a leaflet [Campbell-Kelly 2002] about Dijkstra — I hope you’ve had a chance to read it. My aim is not to relate all the factual statements it contains, which between them amply testify to the extent and importance of his contributions to computer science, but rather to augment these statements with some mainly personal recollections — and also to encourage all of you to explore for yourself some of his work through his many writings. I should explain the background to this leaflet. It was produced for a British Computer Society meeting last year honouring the memory of Edsger Dijkstra, a meeting at which Tony Hoare and I were the main speakers. I used the invitation to speak at the meeting as an opportunity to tell Ria Dijkstra (Edsger’s widow) and a lot of people who knew Dijkstra well, or at least knew lots about Dijkstra, what a debt I owed to him. I will use here some of the remarks I made on that occasion, but I will include rather more information about Dijkstra’s work and its significance than I did in my brief talk at the BCS meeting.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116956579","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
期刊
2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1