Formal Specification Generation
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. Metodologia para implementação de controle supervisório modular local em controladores lógicos programáveis / Methodology for implementation of supervisory control local modular in programmable logic control
Currently, manufacturing automation has assumed an increasingly important role within the industry and the problems of automated control systems have become increasingly complex. Thus, the traditional use of empirical methods heavily base on the experience of the programmer can lead to inappropriate or ineffective solutions. In this case, the Supervisory Con
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
2. Proposta de especificação formal em SDL de uma rede de comunicação automotiva baseada no protocolo FlexRay com geração automatica de codigo java / A proposal for a formal specification using SDL of an invehicle network based on the FlexRay protocol with automatic Java code generation
Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicação intraveicular baseada no protocolo de comunicação FlexRay com geração automática de código Java. O modelo proposto se baseia naquele apresentado na especificação padrão do protocolo FlexRay, porém algumas contribuições foram feitas a fim de gerar um
Publicado em: 2009
-
3. Automated formal specification generation and refinement from requirement documents
The automatic generation of formal specifications from requirements suppresses the complexity of formal models manual creation and reveals the immediate benefits of its usage, such as the possibility to carry out refinements, and property verification, which contributes to project cost reduction and quality improvement. This paper proposes a Controlled Natur
Journal of the Brazilian Computer Society. Publicado em: 2008-03
-
4. Partial generation of Java code from Z formal specifications. / Geração parcial de código Java a partir de especificações formais Z.
Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo
Publicado em: 2008
-
5. Structural coverage analysis of test sets derived from formal specifications: a comparative study in the space applications context / Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espaciais
Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing tech
Publicado em: 2007
-
6. A proposal of integration of the nets UMTS and IEEE 802,11 with support mobility / Uma proposta de integraÃÃo das redes UMTS e IEEE 802.11 com suporte a mobilidade
As redes locais sem fio (Wireless Local Area Networks - WLANs) IEEE 802.11 atingem taxas de transmissÃo de dados relativamente altas quando comparadas `a outras redes sem fio, por exemplo, Bluetooth. Essas altas taxas de transmissÃao tÃm interessado as operadoras de redes celulares, as quais comeÃam a ver as redes IEEE 802.11 como um complemento as suas
Publicado em: 2007
-
7. On synthesizing test cases in symbolic real-time testing
Test synthesis (or test generation) can be described as follows: from a formal specification of an implementation under test (IUT), and from a test purpose describing behaviors to be tested, the aim is to synthesize test cases to be executed in order to check whether the IUT conforms to its formal specification, while trying to control the IUT so that it sat
Journal of the Brazilian Computer Society. Publicado em: 2006-09
-
8. GeraÃÃo de especificaÃÃo formal de sistemas a partir de documento de requisitos
A escrita de requisitos, dentro do processo de desenvolvimento de sistemas, està sujeita a falhas, uma vez que os requisitos sÃo escritos em Linguagem Natural, como InglÃs, que pode conter definiÃÃes ambÃguas ou de difÃcil entendimento. Por outro lado, Linguagem Natural à a opÃÃo mais simples e flexÃvel para se especificar um sistema, e à a lingu
Publicado em: 2006
-
9. STER : uma estrategia de testes para sistemas reativos
Some of the reactive systems must have a high degree of confiability. If they fail, significant humans or financial lost can occurs. To mitigate the consequences of these fails, this kind of systems needs to be tested to find the most fails as possible. One way to achieve this, is using automatic testing techniques. Some automatic test case generation techin
Publicado em: 2005
-
10. Application of a formal testing methodology to wireless telephony networks
This paper presents the application of a formal testing methodology to protocols and services for wireless telephony networks. The methodology provides a complete and integrated coverage of all phases of the testing procedure: specification, test generation, and test execution on a given architecture. It permits to perform conformance and interoperability te
Journal of the Brazilian Computer Society. Publicado em: 2004-11
-
11. Uma estratÃgia para a composiÃÃo formal de frameworks
Framework based development has been presented as the next step towards better software reuse. The increasing complexity of computer systems requires the level of reuse that framework composition can achieve. In this scenario, new framework documentation and specification techniques that can eliminate behavior ambiguities and imprecision are overdue. The str
Publicado em: 2004
-
12. O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDA
The present work proposes an alternative methodology for the development and evolution of AIOA, a software environment for the management and analysis of experimental data, being developed at Embrapa, Brazil. This new technique consists of the combined use of OMT (Object Modeling Technique) with the formal specification language SDL (Specification and Descri
Publicado em: 1997