2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems最新文献_第4页

Using CSP to Model and Analyze TinyOS Applications 使用CSP建模和分析TinyOS应用程序

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.34

Allan I. McInnes

引用次数: 8

Using Integrative Models in an Advanced Heterogeneous System Simulation 集成模型在高级异构系统仿真中的应用

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.42

Jacob Gulotta, Diyang Chu, Ximing Yu, H. Al-Helal, Tapasya Patki, J. Hansen, M. Hudson, J. Sprinkle

引用次数: 6

Modeling and Evaluation Framework for FMC-QE FMC-QE建模与评估框架

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.28

Tomasz Porzucek, Stephan Kluth, Flavius Copaciu, W. Zorn

引用次数: 6

Model-Based Product-Oriented Certification 基于模型的面向产品的认证

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.15

D. Dechev, B. Stroustrup

{"title":"Model-Based Product-Oriented Certification","authors":"D. Dechev, B. Stroustrup","doi":"10.1109/ECBS.2009.15","DOIUrl":"https://doi.org/10.1109/ECBS.2009.15","url":null,"abstract":"Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present process-oriented certification methodologies employed by NASA are becoming prohibitively expensive when applied to systems of such complexity. The process of software certification establishes the level of confidence in a software system in the context of its functional and safety requirements. Providing such certification evidence may require the application of a number of software development, analysis, and validation techniques. We define product-oriented certification as the process of measuring the system's reliability and efficiency based on the analysis of its design (expressed in models) and implementation (expressed in source code). In this work we introduce a framework for model-based product-oriented certification founded on the concept of source code enhancement and analysis. We describe a classification of the certification artifact types, the development and validation tools and techniques, the application domain-specific factors, and the levels of abstraction. We demonstrate the application of our certification platform by analyzing the process of model-based development of the parallel autonomic goals network, a critical component of the Jet Propulsion Laboratory's Mission Data System (MDS). We describe how we identify and satisfy seven critical certification artifacts in the process of model-driven development and validation of the MDS goal network. In the analysis of this process, we establish the relationship among the seven certification artifacts, the applied development and validation techniques and tools, and the level of abstraction of system design and development.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124888879","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}

引用次数: 4

A Task Tree Executor: New Runtime for Parallelized Legacy Software 任务树执行器:并行遗留软件的新运行时

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.11

M. Popovic, I. Basicevic, Vladislav Vrtunski

{"title":"A Task Tree Executor: New Runtime for Parallelized Legacy Software","authors":"M. Popovic, I. Basicevic, Vladislav Vrtunski","doi":"10.1109/ECBS.2009.11","DOIUrl":"https://doi.org/10.1109/ECBS.2009.11","url":null,"abstract":"Building a very large-scale distributed system, such as a power distribution system, was always regarded as a highly demanding undertaking in the area of engineering of computer based systems. Such systems nowadays are managing tens of millions of input variables using rather complex mathematical calculations. Traditionally, these calculations are implemented as sequential software, e.g. in FORTRAN. Under the current circumstances, when the processors are facing the well-known frequency wall, the research community started exploring new technology opportunities brought by the modern symmetric multiprocessors and multicores. One of the most challenging tasks in building modern very large-scale systems is the parallelization of legacy software. This paper contributes to the overall research effort in the area by proposing an original approach to parallelization of legacy sequential software. In the paper we introduce the concept of parallelization based on data slicing and construction of the corresponding task tree. Then we present the new runtime engine referred to as the task tree executor. Finally, we present the results of the performance evaluation based on a series of experiments made on the dual-core symmetric multiprocessor.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123032203","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}

引用次数: 13

A Soft-Structured Agile Framework for Larger Scale Systems Development 面向大规模系统开发的软结构敏捷框架

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.21

S. Soundararajan, J. Arthur

引用次数: 31

Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems 嵌入式系统安全操作集的综合算法

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-01 DOI: 10.1109/ECBS.2009.43

A. Dubey

引用次数: 0