Architecture-based design of computer based systems

Denford, M.; O'Neill, T.; Leaney, John

doi:10.1109/ecbs.2003.1194781

Cited by 5 publications

(6 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other proposals on architecture refinement like [16,44,45] concentrate on structural refinements only, which is complementary to our work. The only formal approach we are aware of that considers refinement of dynamic reconfiguration can be found in [46].…”

Section: Related Workmentioning

confidence: 86%

Style-based modeling and refinement of service-oriented architectures

et al. 2006

View full text Add to dashboard Cite

Service-oriented architectures (SOA) provide a flexible and dynamic platform for implementing business solutions. In this paper, we address the modeling of such architectures by refining business-oriented architectures, which abstract from technology aspects, into serviceoriented ones, focusing on the ability of dynamic reconfiguration (binding to new services at run-time) typical for SOA.The refinement is based on conceptual models of the platforms involved as architectural styles, formalized by graph transformation systems. Based on a refinement relation between abstract and platform-specific styles we investigate how to realize business-specific scenarios on the SOA platform by automatically deriving refined, SOA-specific reconfiguration scenarios.

show abstract

Section: Related Workmentioning

confidence: 86%

Style-based modeling and refinement of service-oriented architectures

et al. 2006

View full text Add to dashboard Cite

show abstract

“…The output of the analysis is saved in the Matlab workspace for each and every test scenario. Further the output data is plotted for further analyses [16][17][18][19][20]. The pitch-trim setup of SARAS is based on the project specification and requirements.…”

Section: Pitch Trim Mechanical Modelmentioning

confidence: 99%

Optimization of Aircraft Pitch Trim Rate of Movement Using Model Based Approach and Improving the Software Algorithm

Rathinakumar¹,

Nanda²

2015

J Aeronaut Aerospace Eng

View full text Add to dashboard Cite

In safety critical systems such as aerospace, it becomes more important since the non-performance of the system as per the requirement may lead to a catastrophe. Also, the work-around to modify the design as per the requirements, generate code, obtain safety clearance from the authorized agency before porting to the target is very time consuming and a cumbersome approach.In this paper, we propose a model-based approach to improve the performance of the software algorithm and optimize the pitch trim movement before porting the code to the target. The effectiveness of the approach is demonstrated with a case study of aerospace domain. The approach encompasses the aircraft sub-system dynamics and the software which operates the sub-system. The analysis of the functionality with performance provides a high level of confidence in the software that is to be ported on to the target. The test crew can provide feedback on the overall functionality and performance of the software at the model-level. The proposed approach not only increases the efficacy of the process but also provides higher safety assurance earlier in the process.Pitch-trim is a critical sub-system of the aircraft which is modeled and the improved software algorithm is incorporated into the model for analyzing the overall functionality and performance of the sub-system. Based on the model simulation and analysis result, the changes in the algorithm were made and finally ported onto the target. The performance and functionality of the pitch-trim sub-system on the aircraft was as per the simulation analysis results indicating the correctness of the model and the proposed approach.

show abstract

“…However, in his review, only Moriconi and SADL had a focus on representation and refinement. Since then there have been many separate schemes on refinement (at least 18) (at least 11 in the review included in [10] plus PMS, MASCOT, Barber [5], Ergodmus [13], Payne [22], Philips [23], Christoph [9], which represents another seven discussed herein). The work reviewed seems to fit into the following general classifications: graph rewriting, first order predicate logic, (theories, Z, (homomorphisms and isomorphisms)), process algebra (CSP, π-calculus) and term rewriting (Peano, Larch].…”

Section: Mathematical Bases Of Refinementmentioning

confidence: 99%

“…Before refinement can commence, we need to develop the essential architecture [10,31]. We propose that this essential architecture would typically come from either some sort of architectural style for systems, or from an initial functional partitioning of the system.…”

Section: Details Of the Frameworkmentioning

confidence: 99%

See 1 more Smart Citation

Non-functional refinement of computer based systems architecture

Denford

Leaney

O'Neill

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.

Self Cite

View full text Add to dashboard Cite

Architecture based refinement is an important technique for ensuring efficiency, effectiveness and correctness in the practical design of complex computer based systems. With a few exceptions, current methods of architectural refinement focus on functional behaviour and fail to address non-functional requirements throughout the refinement process. A best practices approach to refinement would address both functional and non-functional requirements such that the refinement of an abstract into a concrete (implementation) architecture ensures that both sets of requirements are met.We propose a method that focuses on the nonfunctional requirements while still addressing the functional requirements throughout refinement. The method has a formal underpinning in abstract data types (based on term rewriting) which are used to represent the architectures throughout the refinement process and to place pre and post conditions on the refinements. In addition to this, the method uses non-functional requirement calculators to check the non-functional qualities of the architecture as refinement proceeds.Reflection on the practice of the method suggests that it may be possible to extend the architectural style idea to provide reusable refinement schema for the design of certain non-functional qualities into architectural patterns.The example considers reliability and performance in the refinement of a client server architectural pattern.The method does not aim to replace or fully automate the work of the designer. It aims to augment the design process and aid the designer in performing their tasks. It seeks to provide certain guidance for the designer that will help them make the right design decisions, and correct certain classes of errors.

show abstract

Architecture-based design of computer based systems

Abstract: Abstract

Cited by 5 publications

References 21 publications

Style-based modeling and refinement of service-oriented architectures

Style-based modeling and refinement of service-oriented architectures

Optimization of Aircraft Pitch Trim Rate of Movement Using Model Based Approach and Improving the Software Algorithm

Non-functional refinement of computer based systems architecture

Contact Info

Product

Resources

About