Hyper visor is a piece of platform-virtualization software that allows multiple operating systems to run on a host computer concurrently. CAS Monitor, short for CAS Virtual Monitor, is a secure, high-assurance hyper visor prototype, which aims to level B3 or higher of TCSEC standard. This paper reports our experience of employing model checking method to verify some design properties of CAS Monitor, such as isolation, mediated sharing, communication between separated virtual machines and source control policy. We show how to specify design architecture of CAS Monitor with Spin PROMELA language and verify the above important properties to meet system security request.
{"title":"Model Checking a Secure Hypervisor","authors":"Sunlv Wang, Jian Liu, Qiuping Yi, Xian Zhang","doi":"10.1109/WCSE.2010.115","DOIUrl":"https://doi.org/10.1109/WCSE.2010.115","url":null,"abstract":"Hyper visor is a piece of platform-virtualization software that allows multiple operating systems to run on a host computer concurrently. CAS Monitor, short for CAS Virtual Monitor, is a secure, high-assurance hyper visor prototype, which aims to level B3 or higher of TCSEC standard. This paper reports our experience of employing model checking method to verify some design properties of CAS Monitor, such as isolation, mediated sharing, communication between separated virtual machines and source control policy. We show how to specify design architecture of CAS Monitor with Spin PROMELA language and verify the above important properties to meet system security request.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121900197","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}
This paper compares the technology architecture between Google cloud computing platform and traditional IT system, and posts that the key of extremely low cost of Google cloud computing platform is applying the “Top-down " design method to infrastructure construction.
{"title":"Google Cloud Computing Platform Technology Architecture and the Impact of Its Cost","authors":"Xiaojing Jia","doi":"10.1109/WCSE.2010.93","DOIUrl":"https://doi.org/10.1109/WCSE.2010.93","url":null,"abstract":"This paper compares the technology architecture between Google cloud computing platform and traditional IT system, and posts that the key of extremely low cost of Google cloud computing platform is applying the “Top-down \" design method to infrastructure construction.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"295 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115930163","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}
his paper, by mirroring the performance testing of a given company’s merchandising distribution information system, has attempted to resolve the demands in function testing without the aid of any market-sold automated testing tools, to decipher a system’s loading response time in an effort to help improve the system functions.
{"title":"The Lesson Learned of a System's Performance Test","authors":"Chu Huey-Der, J. Yang","doi":"10.1109/WCSE.2010.153","DOIUrl":"https://doi.org/10.1109/WCSE.2010.153","url":null,"abstract":"his paper, by mirroring the performance testing of a given company’s merchandising distribution information system, has attempted to resolve the demands in function testing without the aid of any market-sold automated testing tools, to decipher a system’s loading response time in an effort to help improve the system functions.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"257 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120876302","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}
The “computer-aided design software for smart home device” via cloud computing service helps designer select smart home device and build a smart living space. In the process of design, it offers visual stimulation, builds the smart home device system, and is helpful in budgeting and quotes. As a result, the software is a communicational interface for smart home device industry, designer, and home user. We suggest an integrative structure of “computer-aided design interface for smart home device” based on (1) the theory of intelligent agents, and (2) scenario-oriented design, in order to construct the software interface and therefore build an actual smart living space.
{"title":"The Computer-Aided Design Software for Smart Home Device Based on Cloud Computing Service","authors":"Shang-Yuan Chen, Y. Chang","doi":"10.1109/WCSE.2010.21","DOIUrl":"https://doi.org/10.1109/WCSE.2010.21","url":null,"abstract":"The “computer-aided design software for smart home device” via cloud computing service helps designer select smart home device and build a smart living space. In the process of design, it offers visual stimulation, builds the smart home device system, and is helpful in budgeting and quotes. As a result, the software is a communicational interface for smart home device industry, designer, and home user. We suggest an integrative structure of “computer-aided design interface for smart home device” based on (1) the theory of intelligent agents, and (2) scenario-oriented design, in order to construct the software interface and therefore build an actual smart living space.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121193726","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}
The inter communication signal system and signal control method on HMP are searched. One model of communication using HMP, which combines SIP and MS RCT as communication protocols, is proposed. The procedure of improving the identification of DTMF and the methods of reducing the transporting time under this model are provided.
{"title":"The Study on the Recognition of DTMF Signal in HMP Application","authors":"Li Xue-hua, Zhu Zhou-sen","doi":"10.1109/WCSE.2010.71","DOIUrl":"https://doi.org/10.1109/WCSE.2010.71","url":null,"abstract":"The inter communication signal system and signal control method on HMP are searched. One model of communication using HMP, which combines SIP and MS RCT as communication protocols, is proposed. The procedure of improving the identification of DTMF and the methods of reducing the transporting time under this model are provided.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127959966","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}
Yunsheng Wang, Bo Wang, Jun Guo, Bin Zhang, Jina Wang
the paper has a detailed description of TDO (Test-Driven Outsourcing) mode, and has analyzed the entire task sets of the outsourcing team, proposed a new Software Process Mode, which is an evolution mode of the helix structure. This mode is different from the traditional mode of software project, so it is a new working mode. It is based on the ideas of BPO (Business Process Outsourcing). It may become the first one that assigns the task sets to the whole process of software development in an outsourcing team perspective. The mode of this paper is major for the heavyweight projects’ research and development, and can be better able to ensure the software quality, gives full play to the important role of testing in the software development process. Now, this mode has been adopted in practice projects, and achieved good results.
{"title":"The Research of Test-Driven Business Process Outsourcing","authors":"Yunsheng Wang, Bo Wang, Jun Guo, Bin Zhang, Jina Wang","doi":"10.1109/WCSE.2010.131","DOIUrl":"https://doi.org/10.1109/WCSE.2010.131","url":null,"abstract":"the paper has a detailed description of TDO (Test-Driven Outsourcing) mode, and has analyzed the entire task sets of the outsourcing team, proposed a new Software Process Mode, which is an evolution mode of the helix structure. This mode is different from the traditional mode of software project, so it is a new working mode. It is based on the ideas of BPO (Business Process Outsourcing). It may become the first one that assigns the task sets to the whole process of software development in an outsourcing team perspective. The mode of this paper is major for the heavyweight projects’ research and development, and can be better able to ensure the software quality, gives full play to the important role of testing in the software development process. Now, this mode has been adopted in practice projects, and achieved good results.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127438391","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}
ERP II system is embedded rules and norms from preexisting institutions that serve to both legitimate and facilitate inter-organization isomorphic structure. There is paradox of ERP II investment evaluation based on ROI and TCO metrics. The role of ERP II system in legitimating business practice as being in conformity with accepted norms and conventions has been increasingly recognized by CXFs(CEOs, CFOs, COOs, CIOs). ERPII system may also play a significant role in establishing and perpetuating inter-enterprise structure of institutions. The purpose of this paper is to provide ERP II evaluation from institutional view. This paper argues hypotheses about ERP II intangible performance from business legitimacy, reference of business model and business processes automorphism between business actors. Institutional view can be used to ERP II software requirement analysis and system design as well ERP II promotion for ERP II vendors.
{"title":"Evaluation ERP II Application Performance from Institutional Theory View","authors":"Wang Huifen, Dalen T. Chiang","doi":"10.1109/WCSE.2010.83","DOIUrl":"https://doi.org/10.1109/WCSE.2010.83","url":null,"abstract":"ERP II system is embedded rules and norms from preexisting institutions that serve to both legitimate and facilitate inter-organization isomorphic structure. There is paradox of ERP II investment evaluation based on ROI and TCO metrics. The role of ERP II system in legitimating business practice as being in conformity with accepted norms and conventions has been increasingly recognized by CXFs(CEOs, CFOs, COOs, CIOs). ERPII system may also play a significant role in establishing and perpetuating inter-enterprise structure of institutions. The purpose of this paper is to provide ERP II evaluation from institutional view. This paper argues hypotheses about ERP II intangible performance from business legitimacy, reference of business model and business processes automorphism between business actors. Institutional view can be used to ERP II software requirement analysis and system design as well ERP II promotion for ERP II vendors.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"07 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133619767","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}
We propose a new Java-based component-oriented programming language (COPL) named Bichon to support component-oriented software engineering. Bichon introduce component, bi-directional interface, static linking, and dynamic connection to programming language. With separation of static and dynamic behaviors of components, better component definition and composition are achieved. This paper presents the core syntax and type definition of Bichon calculus. Programming language design issues, including events, callbacks, overriding and message dispatch are concerned.
{"title":"Bichon: A New Component-Oriented Programming Language","authors":"Liping Xu, Yufei Ren","doi":"10.1109/WCSE.2010.11","DOIUrl":"https://doi.org/10.1109/WCSE.2010.11","url":null,"abstract":"We propose a new Java-based component-oriented programming language (COPL) named Bichon to support component-oriented software engineering. Bichon introduce component, bi-directional interface, static linking, and dynamic connection to programming language. With separation of static and dynamic behaviors of components, better component definition and composition are achieved. This paper presents the core syntax and type definition of Bichon calculus. Programming language design issues, including events, callbacks, overriding and message dispatch are concerned.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"2012 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128160245","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}
With the wide application of safety critical embedded systems in various fields, some modern software engineering technology must be developed to increase the security of embedded system to insure the safety of people. Based on the Model-Driven Architecture method, this paper deeply research the semantics of AADL (Architecture Analysis and Design Language) models, and design a tool named UCaS, which is integrated in OSATE (Open Source AADL Tool Environment), and can acquire information from AADL code for the schedulability analysis. Finally, this paper shows the efficiency of the UCaS and point out the direction of future work.
{"title":"Tool of Scheduling Simulation Based on AADL Models","authors":"Li Yun, Guo Fulei","doi":"10.1109/WCSE.2010.42","DOIUrl":"https://doi.org/10.1109/WCSE.2010.42","url":null,"abstract":"With the wide application of safety critical embedded systems in various fields, some modern software engineering technology must be developed to increase the security of embedded system to insure the safety of people. Based on the Model-Driven Architecture method, this paper deeply research the semantics of AADL (Architecture Analysis and Design Language) models, and design a tool named UCaS, which is integrated in OSATE (Open Source AADL Tool Environment), and can acquire information from AADL code for the schedulability analysis. Finally, this paper shows the efficiency of the UCaS and point out the direction of future work.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134181795","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}
Geographic information is more and more important in our information systems development. The geographic information data standards are essential and indispensable when developing the GIS. To make those standards taking effect we need to give a clear roadmap on how to combine the geographic data standards and the software development process. These articles first introduces the concept of the geographic information data standards, then describe how to apply these standards in the software developing process and at last gives the DIDs needed to document the software requirements and software designs according to MIL-STD-498 with GDDMS as an example.
{"title":"Geographic Information Data Standard Applied in the Software Development Process","authors":"Huang Maosheng, C. Tianhe","doi":"10.1109/WCSE.2010.33","DOIUrl":"https://doi.org/10.1109/WCSE.2010.33","url":null,"abstract":"Geographic information is more and more important in our information systems development. The geographic information data standards are essential and indispensable when developing the GIS. To make those standards taking effect we need to give a clear roadmap on how to combine the geographic data standards and the software development process. These articles first introduces the concept of the geographic information data standards, then describe how to apply these standards in the software developing process and at last gives the DIDs needed to document the software requirements and software designs according to MIL-STD-498 with GDDMS as an example.","PeriodicalId":376358,"journal":{"name":"2010 Second World Congress on Software Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132134274","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：