2010 IEEE 2nd International Advance Computing Conference (IACC)最新文献_第6页

A methodology for building safer software based critical computing systems 构建基于关键计算系统的更安全软件的方法学

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5422901

S. P. Kumar, P. Ramaiah, V. Khanaa

{"title":"A methodology for building safer software based critical computing systems","authors":"S. P. Kumar, P. Ramaiah, V. Khanaa","doi":"10.1109/IADCC.2010.5422901","DOIUrl":"https://doi.org/10.1109/IADCC.2010.5422901","url":null,"abstract":"It is increasingly common to use programmable computers in applications where their failure could be life threatening and could result in extensive damage. For example, computers now have safety-critical functions in both military and civilian aircraft, in nuclear plants, and in medical devices‥ The safety aspects of computer-based systems as increasingly important as the use of software escalate because of its convenience and flexibility. Incorrect requirements have been identified as a major cause of software accidents and it appears that current software safety standards do not place a proportionate emphasis upon this causal factor. This paper reviews existing software safety standards, guidelines and other software safety documents and also examines the limitations, practical problems and issues associated with the use of current software safety standards. In this paper, a Methodology is proposed for modeling software safety based on the current software safety standards, their merits and limitations. The tasks in this proposed methodology pertains to System and software hazard analyses; Identification of software safety-critical requirements, safety-constraints based design, software safety implementation and software safety critical testing. This paper also presents a set of safety metrics that can be used to evaluate the maturity of hazard analysis processes and its interaction with the software development process. The proposed methodology was applied to a laboratory prototype safety-critical Railroad Crossing Control System (RCCS). The results showed that all safety critical operations are safe and risk free and capable of handling the contingency situations.","PeriodicalId":249763,"journal":{"name":"2010 IEEE 2nd International Advance Computing Conference (IACC)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126932080","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}

引用次数: 8

Interference-traffic aware Channel Assignment for MRMC WMNs MRMC WMNs的干扰业务感知信道分配

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5422998

K. Athota, A. Negi, C. Raghavendra Rao

{"title":"Interference-traffic aware Channel Assignment for MRMC WMNs","authors":"K. Athota, A. Negi, C. Raghavendra Rao","doi":"10.1109/IADCC.2010.5422998","DOIUrl":"https://doi.org/10.1109/IADCC.2010.5422998","url":null,"abstract":"Wireless Mesh Networks (WMNs) have the potential for improving network capacity by employing multiple radios and multiple channels (MRMC). Channel Assignment (CA) is a key issue that plays vital role in defining WMN throughput by efficient utilization of available multiple radios and channels there by minimizing network interference. The two important issues that are needed to be addressed by CA algorithm are Connectivity and Interference. CA problem is proven to be NP-Hard [2] [4] even with the knowledge of network topology and traffic load. In this paper we present improvements to CLICA [2] algorithm first by extending it in ECLICA and we propose a new method based upon Minimum Spanning Tree, MSTCA algorithm. Our proposed algorithms are centralized, interference-traffic aware, routing independent, connectivity preserving algorithms. The ECLICA and MSTCA algorithms run in two phases. In the first phase they temporarily assign channels to links throughout the network. In second phase, they take feasible and necessary channel reassignment decisions for further reducing the interference and improving overall network throughput. Proposed CA algorithm assumes relatively stable traffic in the wireless mesh network. Proposed CA algorithms can be easily implemented on commodity IEEE 802.11 hardware. Our simulations demonstrate that our proposed algorithms are improvements compared to existing CLICA algorithm.","PeriodicalId":249763,"journal":{"name":"2010 IEEE 2nd International Advance Computing Conference (IACC)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134556255","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

BER performance of OFDM-BPSK and-QPSK over Nakagami-m fading channels OFDM-BPSK和qpsk在Nakagami-m衰落信道上的误码率性能

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5423031

Neetu Sood, A. Sharma, M. Uddin

引用次数: 20

Evolutionary algorithmic approaches for solving three objectives task scheduling problem on heterogeneous systems 求解异构系统三目标任务调度问题的进化算法

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5423042

P. Chitra, S. Revathi, P. Venkatesh, R. Rajaram

引用次数: 10

A novel 4UATT architecture based on analysis of user usage trends of mobile devices 一种基于移动设备用户使用趋势分析的新型4UATT架构

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5422933

S. Gambhir, M. Doja, Moinuddin

引用次数: 0

Performance measurement of a fully pipelined JPEG codec on emulation platform 全流水线JPEG编解码器在仿真平台上的性能测量

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5423018

N. Tiwari, Sagar Reddy

引用次数: 10

Route failure tolerant multicast in mobile ad hoc networks using disjoint minimum spanning trees based on connectivity index with bandwidth constraint 基于带宽约束的不相交最小生成树的移动自组网路由容错组播

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5422930

Kumar B.R Arun, Lokanatha C. Reddy, P. S. Hiremath

引用次数: 8

An efficient bit reduction binary multiplication algorithm using vedic methods 一个有效的位减少二进制乘法算法使用吠陀方法

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5423043

M. Paramasivam, R. S. Sabeenian

引用次数: 56

Elastic registration of 2D abdominal CT images using hybrid feature point selection for liver lesions 基于混合特征点选择的二维腹部CT图像肝脏病变弹性配准

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5422932

Asmita A. Moghe, J. Singhai, S. Shrivastava

{"title":"Elastic registration of 2D abdominal CT images using hybrid feature point selection for liver lesions","authors":"Asmita A. Moghe, J. Singhai, S. Shrivastava","doi":"10.1109/IADCC.2010.5422932","DOIUrl":"https://doi.org/10.1109/IADCC.2010.5422932","url":null,"abstract":"Abdominal CT images have distinct intensity distribution. This feature is used to correct local deformations in the image. Reference and study images are decomposed using wavelet decomposition. Global deformations are first corrected applying rigid registration by use of maximization of Mutual Information as the similarity measure at each level of registration hierarchy. Initially registered image and reference image are further elastically registered using landmark based elastic registration. Here landmarks or feature points are obtained by first intensity thresholding the images followed by boundary selection to obtain lesion boundaries and finally obtaining the centroid and convex hull points of lesions within the images. Convex hull points that lie on the boundary of lesions coupled with centroids of lesions are helpful in precisely identifying the lesions. An advantage of this is that lesions are enhanced to allow for deformations to be precisely determined. This is useful in improving diagnostic accuracy. The performance of algorithm is tested on a real case study of abdominal CT images with liver abscess. Considerable improvement in correlation coefficient and Signal to Noise ratio of the two images is observed.","PeriodicalId":249763,"journal":{"name":"2010 IEEE 2nd International Advance Computing Conference (IACC)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121813637","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}

引用次数: 2

MaSO: A tool for aiding the management of schedule overrun 帮助管理进度超出的工具

2010 IEEE 2nd International Advance Computing Conference (IACC) Pub Date : 2010-03-01 DOI: 10.1109/IADCC.2010.5422909

K. Jeet, R. Dhir, Vijay Mago, R. Minhas

引用次数: 1