首页 > 最新文献

2011 Fifth Latin-American Symposium on Dependable Computing Workshops最新文献

英文 中文
Resilience Assessment of Critical Infrastructures: From Accidental to Malicious Threats 关键基础设施的弹性评估:从意外威胁到恶意威胁
Pub Date : 2011-04-25 DOI: 10.1109/LADCW.2011.27
M. Kaâniche
Position statement to the panel on Resilience Assessment of critical infrastructures
对关键基础设施复原力评估小组的立场声明
{"title":"Resilience Assessment of Critical Infrastructures: From Accidental to Malicious Threats","authors":"M. Kaâniche","doi":"10.1109/LADCW.2011.27","DOIUrl":"https://doi.org/10.1109/LADCW.2011.27","url":null,"abstract":"Position statement to the panel on Resilience Assessment of critical infrastructures","PeriodicalId":383812,"journal":{"name":"2011 Fifth Latin-American Symposium on Dependable Computing Workshops","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129273285","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}
引用次数: 7
Towards the Definition of a Context-Aware Exception Handling Mechanism 面向上下文感知异常处理机制的定义
Pub Date : 2011-04-25 DOI: 10.1109/LADCW.2011.11
D. M. Beder, R. B. Araujo
The development of dependable context-aware applications represents a major challenge to software engineers of contemporary systems. In this context, this position paper proposes the definition of a Context-Aware Exception Handling Mechanism to be incorporated into the Mid Sensor Net, a middleware of multi-tier services for Wireless Sensor Networks(WSNs) that provides a expressive and flexible mechanism to publish/subscribe events of interest, and reusable interfaces that employ web standard technologies to provide interoperability between services and applications.
可靠的上下文感知应用程序的开发是当代系统软件工程师面临的主要挑战。在此背景下,本意见书建议将上下文感知异常处理机制的定义整合到中间传感器网络中。中间传感器网络是无线传感器网络(wsn)的多层服务中间件,它提供了一种表达性和灵活的机制来发布/订阅感兴趣的事件,以及使用web标准技术提供服务和应用程序之间互操作性的可重用接口。
{"title":"Towards the Definition of a Context-Aware Exception Handling Mechanism","authors":"D. M. Beder, R. B. Araujo","doi":"10.1109/LADCW.2011.11","DOIUrl":"https://doi.org/10.1109/LADCW.2011.11","url":null,"abstract":"The development of dependable context-aware applications represents a major challenge to software engineers of contemporary systems. In this context, this position paper proposes the definition of a Context-Aware Exception Handling Mechanism to be incorporated into the Mid Sensor Net, a middleware of multi-tier services for Wireless Sensor Networks(WSNs) that provides a expressive and flexible mechanism to publish/subscribe events of interest, and reusable interfaces that employ web standard technologies to provide interoperability between services and applications.","PeriodicalId":383812,"journal":{"name":"2011 Fifth Latin-American Symposium on Dependable Computing Workshops","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126020187","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}
引用次数: 7
Preserving the Exception Handling Design Rules in Software Product Line Context: A Practical Approach 在软件产品线环境中保留异常处理设计规则:一种实用的方法
Pub Date : 2011-04-25 DOI: 10.1109/LADCW.2011.26
Ricardo J. Sales Júnior, Roberta Coelho
Checking the conformance between implementation and design rules is an important activity to guarantee quality on architecture and source code. To address the current needs of dependable systems it is also important to define design rules related to the exception handling behavior. The current approaches to automatically check design rules, however, do not provide suitable ways to define design rules related to the exception handling policy of a system. This paper proposes a practical approach to preserve the exception policy of a system or a family of systems along with its evolution, based on the definition and automatic checking of exception handling design rules, that regulates how exceptions flow inside the system -- which exceptions should flow and which elements are responsible for signaling and handling them. This approach automatically generates the partial code of JUnit tests to check such rules, and use the aspect-oriented technique to support such tests. The proposed approach was applied to define and check the exception handling rules of a software product line. Four different versions were evaluated (in both object-oriented and aspect-oriented implementations) in order to evaluate whether the exception handling policy was preserved during SPL evolution. Our experience shows that the proposed approach can be used to effectively detect violations on the exception handling policy of a software product line during its evolution.
检查实现规则和设计规则之间的一致性是保证体系结构和源代码质量的重要活动。为了满足可靠系统的当前需求,定义与异常处理行为相关的设计规则也很重要。然而,当前自动检查设计规则的方法并没有提供合适的方法来定义与系统异常处理策略相关的设计规则。本文基于异常处理设计规则的定义和自动检查,提出了一种实用的方法来保留一个系统或一组系统及其演变的异常策略,该策略规定了异常如何在系统内部流动——哪些异常应该流动,哪些元素负责发出信号并处理它们。这种方法自动生成JUnit测试的部分代码来检查这些规则,并使用面向方面的技术来支持这些测试。将该方法应用于软件产品线的异常处理规则的定义和检查。评估了四个不同的版本(在面向对象和面向方面的实现中),以便评估在SPL演进过程中是否保留了异常处理策略。我们的经验表明,所提出的方法可用于在软件产品线的发展过程中有效地检测异常处理策略的违例。
{"title":"Preserving the Exception Handling Design Rules in Software Product Line Context: A Practical Approach","authors":"Ricardo J. Sales Júnior, Roberta Coelho","doi":"10.1109/LADCW.2011.26","DOIUrl":"https://doi.org/10.1109/LADCW.2011.26","url":null,"abstract":"Checking the conformance between implementation and design rules is an important activity to guarantee quality on architecture and source code. To address the current needs of dependable systems it is also important to define design rules related to the exception handling behavior. The current approaches to automatically check design rules, however, do not provide suitable ways to define design rules related to the exception handling policy of a system. This paper proposes a practical approach to preserve the exception policy of a system or a family of systems along with its evolution, based on the definition and automatic checking of exception handling design rules, that regulates how exceptions flow inside the system -- which exceptions should flow and which elements are responsible for signaling and handling them. This approach automatically generates the partial code of JUnit tests to check such rules, and use the aspect-oriented technique to support such tests. The proposed approach was applied to define and check the exception handling rules of a software product line. Four different versions were evaluated (in both object-oriented and aspect-oriented implementations) in order to evaluate whether the exception handling policy was preserved during SPL evolution. Our experience shows that the proposed approach can be used to effectively detect violations on the exception handling policy of a software product line during its evolution.","PeriodicalId":383812,"journal":{"name":"2011 Fifth Latin-American Symposium on Dependable Computing Workshops","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123269708","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}
引用次数: 9
期刊
2011 Fifth Latin-American Symposium on Dependable Computing Workshops
全部 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