Software Dependability
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. PRO-ELICERE: A Hazard Analysis Automation Process Applied to Space Systems
ABSTRACT In the last decades, critical systems have increasingly been developed using computers and software even in space area, where the project approach is usually very conservative. In the projects of rockets, satellites and its facilities, like ground support systems, simulators, among other critical operations for the space mission, it must be applied
J. Aerosp. Technol. Manag.. Publicado em: 2016-09
-
2. Identifying dependability requirements for space software systems
Abstract: Computer systems are increasingly used in space, whether in launch vehicles, satellites, ground support and payload systems. Software applications used in these systems have become more complex, mainly due to the high number of features to be met, thus contributing to a greater probability of hazards related to software faults. Therefore, it is fun
J. Aerosp. Technol. Manag.. Publicado em: 2010-12
-
3. Coordinated atomic actions in Java EE platform / Ações atomicas coordenadas na plataforma Java EE
À medida que os sistemas de software evoluem, precisam garantir requisitos funcionais e de qualidade cada vez mais complexos e com maior rigor de qualidade. Nos _últimos anos, várias abordagens e ferramentas t^em sido propostas para guiar o processo de desenvolvimento de software visando atingir altos níveis de qualidade. O Desenvolvimento Baseado em Com
Publicado em: 2010
-
4. ELICERE: o processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial. / ELICERE: a process for defining dependability goals for critical computer system: case study apply to space area.
Os avanços tecnológicos na eletrônica e no software têm sido rapidamente assimilados pelos sistemas computacionais demandando novas abordagens para a engenharia de sistemas e de software prover produtos confiáveis, sob critérios bem estabelecidos de qualidade. Dentro deste contexto, o processo de elicitação de requisitos tem um papel estratégico no
Publicado em: 2009
-
5. Análise de disponibilidade em sistemas de software na Web. / Availability analysis of Web software systems.
A utilização da Internet como um meio de automação de serviços de e-business tem sido adotada como estratégia por empresas em vários ramos da economia, diminuindo custos e propiciando uma melhoria no relacionamento com o cliente. Um requisito não-funcional importante a ser considerado no desenvolvimento de sistemas de software que possibilita esta au
Publicado em: 2009
-
6. A dependable infrastructure for service-oriented architectures applied at biodiversity research / Uma infra-estrutura confiavel para arquiteturas baseadas em serviços Web aplicada a pesquisa de biodiversidade
A Arquitetura Orientada a Serviços (SOA) é responsável por mapear os processos de negócios relevantes aos seus serviços correspondentes que, juntos, agregam o valor final ao usuário. Esta arquitetura deve atender aos principais requisitos de dependabilidade, entre eles, alta disponibilidade e alta confiabilidade da solução baseada em serviços. O obj
Publicado em: 2009
-
7. Adaptability, reusability and variability in software systems for space on-board computing.
Software industry is currently moving towards automation of business processes and applications increasing architectural complexity and the dynamics of requirements change. This work proposes a novel software development process, called SPAREv that includes all todays critical innovations on four areas: Model-Driven Development (MDD); Systematic Reuse; Devel
Publicado em: 2008
-
8. FIDEDIGNIDADE EM SISTEMAS MULTI-AGENTES ABERTOS: UMA ABORDAGEM ATRAVÉS DE CONTRATOS / DEPENDABILITY OF OPEN MULTI-AGENT SYSTEM: A CONTRACT APPROACH
Nesta dissertação apresenta-se um modelo para aplicação de contratos em ambientes multi-agentes abertos. A idéia principal em um sistema multiagente é que um comportamento global inteligente possa ser alcançado a partir do comportamento individual dos agentes. Neste contexto, surge a dificuldade em se garantir que agentes estão cooperando corretament
Publicado em: 2008
-
9. Domain engineering to ensure flexibility on interaction laws of multi-agent systems
Law enforcement approaches have been proposed to promote dependability in open multi-agent systems. Interaction laws are defined and then enforced to promote predictability. As new software demands and requirements appear, the system and its interaction laws must evolve to support those changes. The purpose of domain engineering is to produce a set of reusab
Journal of the Brazilian Computer Society. Publicado em: 2007-12
-
10. MÉTRICAS DE SEGURANÇA DE SOFTWARE / SOFTWARE SECURITY METRICS
Today`s growing dependency on information technology (IT) makes software security a key element of IT services. In recent years public and private institutions raised the investment on information security, however the number of attacks is growing faster than our power to face them, putting at risk intellectual property, customer`s confidence and businesses
Publicado em: 2007
-
11. A software infrastructure to support component based software architecture construction / Uma infra-estrutura de software para apoiar a construção de arquiteturas de software baseadas em componentes
Component-based development (CBD) and architecture-centric development are two complementary approaches for developing software systems. CBD is based on the construction of systems using the integration of reusable software components. Software architecture centric development complements the CBD paradigm because it is responsible for the component integrati
Publicado em: 2007
-
12. GOVERNANÇA DE SISTEMAS MULTI-AGENTES ABERTOS COM FIDEDIGNIDADE / GOVERNANCE OF OPEN MULTI-AGENT SYSTEMS WITH DEPENDABILITY
Sistemas multi-agentes abertos são freqüentemente caracterizados como sistemas distribuídos onde agentes, que podem não ser conhecidos a priori, podem entrar ou sair do sistema a qualquer momento. Uma abordagem de governança estabelece regras de interação que precisam ser seguidas pelos agentes de um determinado sistema. O uso destas regras permite um
Publicado em: 2007