|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Architecting Fault Tolerance with Exception Handling: Verification and Validation显示文摘When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is likely the occurrence of architectural mismatches related to assumptions in their failure behaviour. These mismatches, if not prevented during system design, have to be tolerated during runtime. This paper presents an architectural abstraction based on exception handling for structuring fault-tolerant software systems. This abstraction comprises several components and connectors that promote an existing untrusted software element into an idealised fault-tolerant architectural element. Moreover, it is considered in the context of a rigorous software development approach based on formal methods for representing the structure and behaviour of the software architecture. The proposed approach relies on a formal specification and verification for analysing exception propagation, and verifying important dependability properties, such as deadlock freedom, and scenarios of architectural reconfiguration. The formal models are automatically generated using model transformation from UML diagrams: component diagram representing the system structure, and sequence diagrams representing the system behaviour. Finally, the formal models are also used for generating unit and integration test cases that are used for assessing the correctness of the source code. The feasibility of the proposed architectural approach was evaluated on an embedded critical case study. | Patrick H. S. Brito Rogério de Lemos Cecília M. F. Rubira Eliane Martins | 2009 | Journal of Computer Science & Technology2009，24，2： | 2 |
| 2 | 显示文摘 | Rancourt J D Taylor L T | 1998 | JMS-Pure Appl Chem1998，35，4： | 1 |
| 3 | Specification of exception flow in software architecture显示文摘 | Castor F F Brito P H Rubira C M | 2006 | The Journal of System & Software2006，79，10： | 1 |
| 4 | control method comparison of doubly fed wind generators connected to the grid by asymmetric transmission lines 显示文摘 | Rubira S D McCulloch M D | 2000 | IEEE Trans IA2000，36，4： | 1 |
| 5 | A faulttolerant architectural approach for dependable systems显示文摘 | de Lemos R de Castro P A G Rubira C M | 2006 | IEEE Software2006，23，2： | 1 |
| 6 | Recombinant NY‐ESO‐1 Cancer Antigen: Production and Purification under cGMP Conditions显示文摘 | R. Murphy S. Green G. Ritter L. Cohen D. Ryan W. Woods M. Rubira J. Cebon I.D. Davis A. Sjolander A. Kypridis H. Kalnins M. McNamara M.B. Moloney J. Ackland G. Cartwright J. Rood G. Dumsday K. Healey D. Maher E. Maraskovsky Y.‐T. Chen E.W. Hoffman L.J. Ol | 2005 | Preparative Biochemistry and Biotechnology2005，，2： | 1 |
| 7 | A fault-tolerant architectural approach for dependable system 显示文摘 | LEMOS R D GUERRA P A RUBIRA C M F | 2006 | IEEE Software2006，23，2： | 1 |
| 8 | A Comparative Study of Exception Handling Mechanism for Building Dependable Object-Oriented Software显示文摘 | Garcia A Rubira C Romanovsky A | 2001 | The Journal of Systems and Software2001，59，2： | 1 |
| 9 | A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-oriented Software显示文摘 | Rubira C M F | 1998 | ACM Transactions on Programming Languages and Systems1998，20，2： | 1 |
| 10 | Develop-ment and application of chitosan/poly(vinyl alcohol) films for removal and recovery of Pb(ll)显示文摘 | Fajardo R A Lope C L Rubira F A | 2012 | Chemical Engineering Joumal2012，183，： | 1 |
| 11 | Tumor necrosis factor显示文摘 | Rubira Garcia N | 2000 | Allergol Immuno- pathol(Madr)2000，28，3： | 1 |
| 12 | A comparative study of exception handling mechanisms for building dependable object-oriented software 显示文摘 | Garcia A F Rubira C M F Romanovsky A | 2001 | The Journal of Systems and Software2001，59，： | 1 |
| 13 | Clinical and electrocardiographic characteristics of masquerading bifascicular block显示文摘 | G6mez Barrado J J Turégano Albarrán S García Rubira JC | | 0，，02： | 1 |
| 14 | A comparative study of exception handling mechanisms for building dependable object-oriented software显示文摘 | Garcia A F Rubira C M F Romanovsky A | 2001 | The Journal of Systems and Software2001，59，2： | 1 |
| 15 | Hydrolysis of post-consume poly(ethylene terephthalate) with sulfuric acid and product characterization by WAXD, 13C NMR and DSC显示文摘 | CARVALHO G M MUNIZ E C RUBIRA A F | 2006 | Polymer Degradation and Stability2006，91，6： | 1 |
| 16 | Thermo-sensitive hydrogels membranes from PAAm networks and entangled PNIPAAm: Effect of temperature, cross-linking and PNIPAAm contents on the water uptake and per- meability显示文摘 | GUILHERME M R da SILVA R RUBIRA A F | 2004 | Reactive & Functional Polymers2004，61，： | 1 |
| 17 | Time-and pH-dependent self-rearrangement of a swollen polymer network based on polyelectrolytes complexes of chitosan/chondroitin sulfate显示文摘 | Fajardo André R Piai Juliana F Rubira Adley F | 2010 | Carbohydrate Polymers2010，80，： | 1 |
| 18 | Polyimides doped with silver Ⅱ: Surface conductive films 显示文摘 | Rubira A F Rancourt J D Taylor L T | 1996 | Metal-Containing Polymeric Materials1996，，： | 1 |
| 19 | Thermo-sensitive hydrogels membranes from PAAm networks and entangled PNIPAAm: effect of temperature, cross-linking and PNIPAAm contents on the water uptake and permeability 显示文摘 | Guilherme M R Silva R D Rubira A F | 2004 | Reactive Functional Polymer2004，61，2： | 1 |
| 20 | Thermo-sensitive hydrogels membranes from PAAm networks and entangled PNIPAAm:effect of temperature,cross-linking and PNIPAAm contents on the water uptake and permeability显示文摘 | Guilherme M R da Silva R Rubira A F | 2004 | Reactive and Functional Polymers2004，，61： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员